Logic for Programming Artificial Intelligence and Reasoning 14th International Conference Lpar 2007 Yerevan Armenia October 15-19, 2007 Proceedings  

 - Berlin :   Springer,   c2007 
 - XIII, 562 p.  : ill 
 - Lecture Notes in Computer Science Lecture Notes in Artificial Intelligence ; No. 4790 .
<br/><br/>Includes Bibliographical References and Index 
<br/><br/><label>ISBN: </label>9783540755586 
<br/><br/><label>ISSN: </label>
<br/><br/><label>Subjects--Topical Terms: </label><br/>Artificial Intelligence Congresses<br/>Automatic Theorem Proving Congresses<br/>Logic Programming Congresses
<br/><br/><label>Dewey Class. No.: </label>006.333  / LOG