Automated Reasoning

Know about the book -

Automated Reasoning is written by Ulrich Furbach and published by Springer Science & Business Media. It's available with International Standard Book Number or ISBN identification 3540371877 (ISBN 10) and 9783540371878 (ISBN 13).

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.