The Logic of knowledge bases
Levesque, Hector J
The Logic of knowledge bases - Massachusetts MIT Pr 2000 - xviii; 282p
Logic, Symbolic and mathematical
Expert systems (Computer science)
Knowledge representation (Information theory)
Computers, programminmg languages and allied aspects
006.332/LEV
The Logic of knowledge bases - Massachusetts MIT Pr 2000 - xviii; 282p
Logic, Symbolic and mathematical
Expert systems (Computer science)
Knowledge representation (Information theory)
Computers, programminmg languages and allied aspects
006.332/LEV