lunet
H
Hector J. Levesque
1 book on Lunet
Open in Lunet
Books
The logic of knowledge bases