We a good story
Quick delivery in the UK

Proof Theory and Automated Deduction

About Proof Theory and Automated Deduction

A new attitude to applied logic has evolved, where researchers tailor a logic for their own use in the same way they define a computer language, and where auto mated deduction for the logic and its fragments is as important as the logic itself.

Show more
  • Language:
  • English
  • ISBN:
  • 9781402003684
  • Binding:
  • Paperback
  • Pages:
  • 444
  • Published:
  • November 29, 2001
  • Edition:
  • 11997
  • Dimensions:
  • 155x235x22 mm.
  • Weight:
  • 1370 g.
Delivery: 2-4 weeks
Expected delivery: December 18, 2024

Description of Proof Theory and Automated Deduction

A new attitude to applied logic has evolved, where researchers tailor a logic for their own use in the same way they define a computer language, and where auto mated deduction for the logic and its fragments is as important as the logic itself.

User ratings of Proof Theory and Automated Deduction



Find similar books
The book Proof Theory and Automated Deduction 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.