Customers who viewed this item...

Automated Theorem Proving: Theory and Practice
Automated Theorem Proving: Theory and Practice
Monty Newborn
Average Customer Review: 4.0 out of 5 stars  See all reviews (1)
In Stock
FREE Shipping. Details
Product Description
This text and software package introduces readers to automated theorem proving, while providing two approaches implemented as easy-to-use programs. These are semantic-tree theorem proving and resolution-refutation theorem proving. The early chapters introduce first-order predicate calculus, well-for... Read More

Also viewed these items...

Show items from:
All Categories (3)

Show items that:
Customers also bought
Customers also viewed

Automated Theorem Proving in Software Engineering
First Order Logic Automated Theo (Ima Volumes in Mathematics and Its Applications)
First-Order Logic and Automated Theorem Proving (Texts in Computer Science)