Automated Theorem Proving: Theory and Practice - Monty Newborn - Books - Springer-Verlag New York Inc. - 9780387950754 - December 15, 2000
In case cover and title do not match, the title is correct

Monty Newborn
Automated Theorem Proving: Theory and Practice 2001 edition

Price
$ 182.99
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping May 27 - Jun 8

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Also available as:

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.

231 pages, biography

Media Books     Hardcover Book   (Book with hard spine and cover)
Released December 15, 2000
ISBN13 9780387950754
Publishers Springer-Verlag New York Inc.
Pages 231
Dimensions 155 × 235 × 15 mm   ·   526 g
Language English  

More by Monty Newborn

Show all

See all of Monty Newborn ( e.g. Paperback Book and Hardcover Book )