Kakas C. Antonis <br/><br/>
Computational Logic  Logic Programming and Beyond : Essays in Honour of Robert A. Kowalski part II / 
Antonis C. Kakas, Fariba Sadri (eds.) 
 - Berlin :  Hong Kong :  Springer-Verlag,  c2002. 
 - 2 v. :  ill. ;  24 cm. 
 - Lecture notes iin computer science ;  Lecture notes in artifical intelligence  2407-2408. .
 - Lecture notes in computer science ;  2407-2408. Lecture notes in computer science.  Lecture notes in artificial intelligence. .
<br/><br/>Includes bibliographical references and index. 
<br/><br/><br/>Electronic reproduction. <br/>Berlin : <br/>Springer-Verlag, <br/>c2002. <br/>System requirements: Adobe Acrobat Reader. <br/>Mode of access: World Wide Web. <br/>Made available through Springer LINK. 
<br/><br/> paper back 
<br/><br/><label>ISBN: </label>9783540439608 
<br/><br/><label>Subjects--Personal Names: </label><br/>Kowalski, Robert.
<br/><br/><label>Subjects--Topical Terms: </label><br/>Logic programming.<br/>Automatic theorem proving.<br/>Logic programming languages.
<br/><br/><label>Dewey Class. No.: </label>005.115  / KAK