Handbook of Automated Reasoning - Handbook of Automated Reasoning - Robinson - Books - Elsevier Science & Technology - 9780444829498 - June 21, 2001
In case cover and title do not match, the title is correct

Handbook of Automated Reasoning - Handbook of Automated Reasoning

Robinson

Price
A$ 411.49

Ordered from remote warehouse

Expected delivery Oct 30 - Nov 12

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Handbook of Automated Reasoning - Handbook of Automated Reasoning

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.

996 pages

Media Books     Hardcover Book   (Book with hard spine and cover)
Released June 21, 2001
ISBN13 9780444829498
Publishers Elsevier Science & Technology
Pages 996
Dimensions 165 × 240 × 65 mm   ·   2.06 kg
Editor Robinson, Alan J.A. (96 Highland Avenue, Greenfield, Massachusetts, USA)
Editor Voronkov, Andrei (University of Manchester, Computer Science Department, Oxford Road, Manchester, M13 9LP, UK.)
Show all

More by Robinson

See all of Robinson ( e.g. Book , Paperback Book , Hardcover Book , CD and LP )