You might also like

More about Automated Reasoning

• Book details
• Synopsis
• Trending among others

You get 304 loyalty points

Book synopsis

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.

Book details

Book category Books in English Computing & information technology Computer science Artificial intelligence

• Full title: Automated Reasoning
• Subtitle: Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings
• Author: Ulrich Furbach, Natarajan Shankar
• Language: English
• Binding: Paperback
• Number of pages: 688
• EAN: 9783540371878
• ISBN: 3540371877
• ID: 01562445
• Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
• Weight: 2140 g
• Dimensions: 229 × 152 × 38 mm
• Date of publishing: 03. August 2006

Trending among others

---

---

---