Handbook of Automated Reasoning: Vol 1

Handbook of Automated Reasoning: Vol 1

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

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.

$285.66

Quantity

20+ in stock

More Information

Format: Hardcover
Pages: 996
Publisher: North Holland
Published: 21 Jun 2001

ISBN 10: 0444829490
ISBN 13: 9780444829498