Automated Theorem Proving: Theory and Practice

New
Hardcover
2001
$231.45

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.

Synopsis

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.45

Quantity

20+ in stock

More Information

Format: Hardcover
Pages: 231
Edition: Har/Cdr
Publisher: Springer
Published: 01 Jan 2001
ISBN 10: 0387950753
ISBN 13: 9780387950754

Automated Theorem Proving: Theory and Practice

New

$231.45

Synopsis

$231.45

More Information