We a good story
4.1 / 5 on Trustpilot
Quick delivery in the UK
Trusted Ecommerce Europe
Help
Login
  1. Home
  2. Books
  3. Business & Education
  4. Computing & IT
  5. Automated Reasoning

Automated Reasoning

- Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings

part of the Lecture Notes in Computer Science series

part of the Lecture Notes in Artificial Intelligence series

Automated Reasoning
About Automated Reasoning

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.

Show more
  • Language:
  • English
  • ISBN:
  • 9783540371878
  • Binding:
  • Paperback
  • Pages:
  • 688
  • Published:
  • August 2, 2006
  • Edition:
  • 2006
  • Dimensions:
  • 152x229x35 mm.
  • Weight:
  • 2140 g.
Delivery: 1-2 weeks
Expected delivery: December 12, 2024
Extended return policy to January 30, 2025

Description of Automated Reasoning

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.

User ratings of Automated Reasoning



Others also bought..
Find similar books
The book Automated Reasoning can be found in the following categories:

Join thousands of book lovers

Sign up to our newsletter and receive discounts and inspiration for your next reading experience.