Here are the proceedings of the Third International Joint Conference on Automated Reasoning, IJCAR 2006, held in Seattle, Washington, USA, August 2006. The book presents 41 revised full research papers and 8 revised system descriptions, with 3 invited papers and a summary of a systems competition. The papers are organized in topical sections on proofs, search, higher-order logic, proof theory, proof checking, combination, decision procedures, CASC-J3, rewriting, and description logic.
Or split into 4x interest-free payments of 25% on orders over R50
Learn more
Here are the proceedings of the Third International Joint Conference on Automated Reasoning, IJCAR 2006, held in Seattle, Washington, USA, August 2006. The book presents 41 revised full research papers and 8 revised system descriptions, with 3 invited papers and a summary of a systems competition. The papers are organized in topical sections on proofs, search, higher-order logic, proof theory, proof checking, combination, decision procedures, CASC-J3, rewriting, and description logic.
Imprint | Springer-Verlag |
Country of origin | Germany |
Series | Lecture Notes in Computer Science, 4130 |
Release date | August 2006 |
Availability | Expected to ship within 10 - 15 working days |
First published | 2006 |
Editors | Ulrich Furbach, Natarajan Shankar |
Dimensions | 229 x 152 x 35mm (L x W x T) |
Format | Paperback |
Pages | 688 |
Edition | 2006 ed. |
ISBN-13 | 978-3-540-37187-8 |
Barcode | 9783540371878 |
Categories | |
LSN | 3-540-37187-7 |