by Alan J . A . Robinson (Editor), Andrei Voronkov (Editor)
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.
Format: Hardcover
Pages: 996
Publisher: North Holland
Published: 21 Jun 2001
ISBN 10: 0444829490
ISBN 13: 9780444829498