Automated Theorem Proving: Theory and Practice (Hardcover) ~ Mon... Cover Art

Automated Theorem Proving: Theory and Practice (Hardcover)

By: Monroe Newborn (Author) and Monty Newborn (Author)

More About this Product
List Price: $154.00
Current Price: $146.30
You Save: $7.70 (5%)
Download eBook

Search Inside

Also available from:

Provider Name Price From Condition Buy
1   Biblio $52.98 New Buy
2   Alibris $52.98 New Buy
 
3   Biblio $19.21 Used Buy
4   ValoreBooks.com $23.29 Used Buy

Ebook Download

Product Description

Run a Quick Search on "Automated Theorem Proving: Theory and Practice" by Monroe Newborn and Monty Newborn to Browse Related Products:

Browse more products related to "Automated Theorem Proving: Theory and Practice"

Browse more products related to "Monroe Newborn and Monty Newborn"

Short Desription

This text and software package introduces the reader to automated theorem proving and provides two approaches implemented as easy-to-use programs. The two approaches studied are semantic tree theorem proving and resolution-refutation theorem proving. The first chapters introduce the reader to first-order predicate calculus, well-formed formulae, and their transformation to clauses (implemented in a third program provided on diskette). Then the author shows how the two methods work and provides numerous examples for readers to try their hand at theorem-proving experiments. Each chapter comes with exercises intended to familiarise the readers with the ideas and with the software, and answers are provided to many of the problems.

If You Enjoy "Automated Theorem Proving: Theory and Practice (Hardcover)", May We Also Recommend:

 [Discrete Mathematics: An Introduction for Software Engineers (Pa... Cover Art
Discrete Mathematics: An Introduction for Software Engineers (Paperback) ~ Mike Piff (Author) ]
 [The JR Programming Language (Hardcover) ~ Aaron W. Keen (Author)... Cover Art
The JR Programming Language (Hardcover) ~ Aaron W. Keen (Author) and Ron... ]
 [How to Become an Exceptional DBA, 2nd Edition (Paperback) ~ Brad... Cover Art
How to Become an Exceptional DBA, 2nd Edition (Paperback) ~ Brad M. McGehee (Author) ]
 [The New Hacker's Dictionary (Hardcover) ~ Raymond Cover Art
The New Hacker's Dictionary (Hardcover) ~ Raymond ]
 [Automata, Logics, and Infinite Games: A Guide to Current Researc... Cover Art
Automata, Logics, and Infinite Games: A Guide to Current Research (Lecture Notes in Computer Science) (Paperback) ~ William W. Thomas (Author) ]
 [Topology and Category Theory in Computer Science (Hardcover) ~ A... Cover Art
Topology and Category Theory in Computer Science (Hardcover) ~ A. W. Roscoe (Author) ]
 [The Best of Sqlservercentral.Com, Vol.7 (Paperback) ~ Steve Jone... Cover Art
The Best of Sqlservercentral.Com, Vol.7 (Paperback) ~ Steve Jones (Editor) ]
 [Improving Floating-Point Programming (Hardcover) ~ Peter J. L. W... Cover Art
Improving Floating-Point Programming (Hardcover) ~ Peter J. L. Wallis (Editor) ]
 [Acronyms and Abbreviations of Computer Technology and Telecommun... Cover Art
Acronyms and Abbreviations of Computer Technology and Telecommunications (Hardcover) ~ David Tavaglione (Compiler) ]

Customer Reviews for "Automated Theorem Proving: Theory and Practice (Hardcover)" by Monroe Newborn (Author) and Mo...

There are no customer reviews yet. Be the first to write a review!

Submit your Review

Explore More Great Tower Sales & Specials

Tower.com Sales, Promotions & Special Features

Tower.com Sales & Boutiques

  • Tower Essentials Sale
    Visit the Essentials Sale for a wide selection and huge savings on your favorite music, DVD, Blu-ray and Books.
  • Great Gift Ideas
    Tower has Great Gift Ideas and Huge Savings on Your Favorite Music, CDs, DVDs, Books and More at Prices that Make Giving A Breeze!

Interact with Tower.com