Handbook of Automated Reasoning: Vol 1

by Alan J . A . Robinson (Editor), Andrei Voronkov (Editor)

New
Hardcover
2001
$277.62

This first volume of the Handbook of Automated Reasoning includes topics such as: the early history of automated deduction, classical logic - resolution theorem proving, and tableaux and related methods.

Synopsis

This first volume of the "Handbook of Automated Reasoning" includes topics such as: the early history of automated deduction, classical logic - resolution theorem proving, and tableaux and related methods.

$277.62

Quantity

20+ in stock

More Information

Format: Hardcover
Pages: 996
Publisher: North Holland
Published: 21 Jun 2001
ISBN 10: 0444829490
ISBN 13: 9780444829498

Handbook of Automated Reasoning: Vol 1

New

$277.62

Synopsis

$277.62

More Information