Automated Reasoning
Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings
Price for Eshop: 2520 Kč (€ 100.8)
VAT 0% included
New
E-book delivered electronically online
E-Book information
Annotation
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.
Ask question
You can ask us about this book and we'll send an answer to your e-mail.