Books > Science & Mathematics > Mathematics > Mathematical foundations
|
Buy Now
Automated Theorem Proving - Theory and Practice (Paperback, Softcover reprint of the original 1st ed. 2001)
Loot Price: R3,255
Discovery Miles 32 550
|
|
Automated Theorem Proving - Theory and Practice (Paperback, Softcover reprint of the original 1st ed. 2001)
Expected to ship within 10 - 15 working days
|
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-formed formulae, and their
transformation to clauses. Then the author goes on to show how the
two methods work and provides numerous examples for readers to try
their hand at theorem-proving experiments. Each chapter comes with
exercises designed to familiarise the readers with the ideas and
with the software, and answers to many of the problems.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
You might also like..
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.