The logic of knowledge bases - Levesquem Hector J. 1951-; Gerhard Lakemeyer (Cambridge, Massachusetts The MIT Press, 2001)
Electronic reproduction
Keywords: Knowledge representation (Information theory); Expert systems (Computer science); Logic, Symbolic and mathematical; Electronic books