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

Automated Theorem Proving: Theory and Practice 2001 edition

Monty Newborn

Price
S$ 239

Ordered from remote warehouse

Expected delivery Oct 18 - Nov 1

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:

Automated Theorem Proving: Theory and Practice 2001 edition

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  
Show all

More by Monty Newborn

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