Automated reasoning  5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010 : proceedings /  [electronic resource] : 
 IJCAR 2010 
edited by Jurgen Giesl, Reiner Hahnle. 
 - Berlin, Heidelberg :  Springer-Verlag Berlin Heidelberg,  2010. 
 - xii, 532 p. :  ill., digital ;  24 cm. 
 - Lecture notes in computer science,  6173  0302-9743 ; .
<br/><br/><label>ISBN: </label>9783642142031 (electronic bk.) 9783642142024 (paper) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Automatic theorem proving--Congresses.<br/>Computer logic--Congresses.<br/>Computer Science.
<br/><br/><label>LC Class. No.: </label>QA76.9.A96  / I33 2010 
<br/><br/><label>Dewey Class. No.: </label>006.333