Description:
Hard Cover. New. New Book; Fast Shipping from UK; Not signed; Not First Edition; 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.
![Handbook of Automated Reasoning: Volume I](https://d3525k1ryd2155.cloudfront.net/f/498/829/9780444829498.IN.0.m.jpg)
Stock Photo: Cover May Be Different
Handbook of Automated Reasoning: Volume I Hardcover - 2001 - 1st Edition
by Andrei Voronkov (Editor); Alan J. Robinson (Editor)
First line
With the ready availability of serious computer power, deductive reasoning, especially as embodied in mathematics, presented an ideal target for those interested in experimenting with computer programs that purported to implement the "higher" human faculties.
Details
- Title Handbook of Automated Reasoning: Volume I
- Author Andrei Voronkov (Editor); Alan J. Robinson (Editor)
- Binding Hardcover
- Edition number 1st
- Edition 1
- Pages 996
- Volumes 1
- Language ENG
- Publisher North-Holland
- Date 2001-06-21
- Illustrated Yes
- Features Bibliography, Illustrated, Index
- ISBN 9780444829498 / 0444829490
- Weight 3.9 lbs (1.77 kg)
- Dimensions 9.61 x 6.69 x 2.06 in (24.41 x 16.99 x 5.23 cm)
- Library of Congress subjects Automatic theorem proving, Qualitative reasoning
- Library of Congress Catalog Number 2001090839
- Dewey Decimal Code 511.3
More Copies for Sale
![Handbook of Automated Reasoning](https://d3525k1ryd2155.cloudfront.net/f/498/829/9780444829498.IN.0.m.jpg)
Stock Photo: Cover May Be Different
Handbook of Automated Reasoning
by A. Robinson
- New
- Hardcover
- Condition
- New
- Binding
- Hardcover
- ISBN 10 / ISBN 13
- 9780444829498 / 0444829490
- Quantity Available
- 543
- Seller
-
Uxbridge, Greater London, United Kingdom
- Item Price
-
SGD 290.17SGD 13.87 shipping to USA
Show Details
Item Price
SGD 290.17
SGD 13.87
shipping to USA
![Handbook of Automated Reasoning](https://d3525k1ryd2155.cloudfront.net/f/498/829/9780444829498.IN.0.m.jpg)
Stock Photo: Cover May Be Different
Handbook of Automated Reasoning
by Andrei Voronkov et Alan J.A. Robinson
- Used
- Very Good
- Hardcover
- Condition
- Used - Very Good
- Binding
- Hardcover
- ISBN 10 / ISBN 13
- 9780444829498 / 0444829490
- Quantity Available
- 1
- Seller
-
Morangis, France
- Item Price
-
SGD 229.55SGD 16.47 shipping to USA
Show Details
Description:
North-Holland, 2001. Hardcover. Very Good. Former library book. Edition 2001. Ammareal gives back up to 15% of this item's net price to charity organizations.
Item Price
SGD 229.55
SGD 16.47
shipping to USA