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

Robinson
Handbook of Automated Reasoning - Handbook of Automated Reasoning

Get an email once the item is available
Do you have a profile? Log in

Our customers say:

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

Not rated yet

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   ·   1.77 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.)

More by Robinson

Show all

Mere med samme udgiver

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