Automated Reasoning  6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012, Proceedings /  [electronic resource] : 
edited by Bernhard Gramlich, Dale Miller, Ulrike Sattler. 
 - 1st ed. 2012. 
 - XIV, 568 p. 90 illus.  online resource. 
 - Lecture Notes in Artificial Intelligence,  7364  2945-9141 ; .
 - Lecture Notes in Artificial Intelligence,  7364 .
<br/><br/> This book constitutes the refereed proceedings of the 6th International Joint Conference on Automated Reasoning, IJCAR 2012, held in Manchester, UK, in June 2012. IJCAR 2012 is a merger of leading events in automated reasoning, namely CADE (International Conference on Automated Deduction), FroCoS (International Symposium on Frontiers of Combining Systems), FTP (International Workshop on First-Order Theorem Proving), and TABLEAUX (International Conference on Automated Reasoning with Analytic Tableaux and Related Methods). The 32 revised full research papers and 9 system descriptions presented together with 3 invited talks were carefully reviewed and selected from 116 submissions. The papers address all aspects of automated reasoning, including foundations, implementations, and applications. 
<br/><br/><label>ISBN: </label>9783642313653 
<br/><br/><label>Standard No.: </label>10.1007/978-3-642-31365-3  doi 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Machine theory.<br/>Computer science.<br/>Artificial intelligence.<br/>Software engineering.<br/>Computer science--Mathematics.<br/>Numerical analysis.<br/>Formal Languages and Automata Theory.<br/>Computer Science Logic and Foundations of Programming.<br/>Artificial Intelligence.<br/>Software Engineering.<br/>Mathematics of Computing.<br/>Numerical Analysis.
<br/><br/><label>LC Class. No.: </label>QA267-268.5 
<br/><br/><label>Dewey Class. No.: </label>005.131