Levesque, Hector J <br/><br/>
The Logic of knowledge bases 

 - Massachusetts  MIT Pr  2000 
 - xviii; 282p 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Logic, Symbolic and mathematical<br/>Expert systems (Computer science)<br/>Knowledge representation (Information theory)<br/>Computers, programminmg languages and allied aspects
<br/><br/><label>Dewey Class. No.: </label>006.332/LEV