Baader Franz <br/><br/>
Logic for Programming, Artificial Intelligence, and Resoning : 11th International Conference, LPAR 2004 Montevideo, Uruguay, Mar 

 - London  Spriger  2005 
 - 562p 
<br/><br/>Baader Franz & Voronkov Andrei: Logic for Programming, Artificial Intelligence, and Resoning : 11th International Conference, LPAR 2004 Montevideo, Uruguay, March 2005 Prodeedings.  London.  Spriger, 2005. 3-540-25236-3--(001.535BAA)   
<br/><br/><br/>ENGLISH 
<br/><br/><label>ISBN: </label>3-540-25236-3 
<br/><br/><label>Dewey Class. No.: </label>1.535  / BAA