Automated Theorem Proving: Theory and Practice

New
Hardcover
2001
$232.77

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.

$232.77

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

$232.77

Synopsis

$232.77

More Information