Items related to Handbook of Automated Reasoning: Volume I
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" may belong to another edition of this title.
About the Author:
J. Alan Robinson is University Professor Emeritus at Syracuse University. Andrei Voronkov is Professor of Computer Science at the University of Manchester, UK.
"About this title" may belong to another edition of this title.
- PublisherNorth Holland
- Publication date2001
- ISBN 10 0444829490
- ISBN 13 9780444829498
- BindingHardcover
- Number of pages996
- EditorRobinson Alan J.A., Voronkov Andrei
Buy New
Learn more about this copy
£ 171.55
Shipping:
£ 9.98
From United Kingdom to U.S.A.
Top Search Results from the AbeBooks Marketplace
Stock Image
Handbook of Automated Reasoning
Published by
Elsevier - Academic Press
(2001)
ISBN 10: 0444829490
ISBN 13: 9780444829498
New
Hardcover
Quantity: > 20
Seller:
Rating
Book Description Condition: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. Seller Inventory # ria9780444829498_lsuk
Buy New
£ 171.55
Convert currency
Stock Image
Handbook of Automated Reasoning Volume I
Published by
Elsevier Science
(2001)
ISBN 10: 0444829490
ISBN 13: 9780444829498
New
Hardcover
Quantity: > 20
Seller:
Rating
Book Description HRD. Condition: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # L1-9780444829498
Buy New
£ 191.13
Convert currency
Stock Image
Handbook of Automated Reasoning Volume I
Published by
Elsevier Science
(2001)
ISBN 10: 0444829490
ISBN 13: 9780444829498
New
Hardcover
Quantity: > 20
Seller:
Rating
Book Description HRD. Condition: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # L1-9780444829498
Buy New
£ 174.67
Convert currency
Stock Image
Handbook of Automated Reasoning (Volume I)
Published by
North Holland
(2001)
ISBN 10: 0444829490
ISBN 13: 9780444829498
New
Hardcover
Quantity: > 20
Seller:
Rating
Book Description Condition: New. Seller Inventory # ABLIING23Feb2215580212675
Buy New
£ 230.27
Convert currency
Seller Image
HANDBK OF AUTOMATED REASONING
Published by
Elsevier Science
(2001)
ISBN 10: 0444829490
ISBN 13: 9780444829498
New
Hardcover
Quantity: > 20
Seller:
Rating
Book Description Gebunden. Condition: New. 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.Part I. History 1. The Early History o. Seller Inventory # 594687213
Buy New
£ 264.77
Convert currency