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.
Stock Photo: Cover May Be Different
Handbook of Automated Reasoning: Volume II Hardcover - 2001 - 1st Edition
by Alan J. Robinson (Editor); Andrei Voronkov (Editor)
First line
Type theory is a language for formalizing mathematics which was invented by Bertrand Russell [Russell 1908].
Details
- Title Handbook of Automated Reasoning: Volume II
- Author Alan J. Robinson (Editor); Andrei Voronkov (Editor)
- Binding Hardcover
- Edition number 1st
- Edition 1
- Pages 1188
- Volumes 1
- Language ENG
- Publisher North-Holland
- Date 2001-06-21
- Illustrated Yes
- Features Bibliography, Illustrated, Index
- ISBN 9780444508126 / 0444508120
- Weight 4.56 lbs (2.07 kg)
- Dimensions 9.61 x 6.69 x 2.38 in (24.41 x 16.99 x 6.05 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
Stock Photo: Cover May Be Different
Handbook of Automated Reasoning
by Alan J.A. Robinson et Andrei Voronkov
- Used
- very good
- Hardcover
- Condition
- Used - Very Good
- Binding
- Hardcover
- ISBN 10 / ISBN 13
- 9780444508126 / 0444508120
- Quantity Available
- 1
- Seller
-
Morangis, France
- Item Price
-
$82.39$12.00 shipping to USA
Show Details
Item Price
$82.39
$12.00
shipping to USA
Stock Photo: Cover May Be Different
Handbook of Automated Reasoning (Volume II)
by Robinson, Alan J.A. [Editor]; Voronkov, Andrei [Editor];
- New
- Hardcover
- Condition
- New
- Binding
- Hardcover
- ISBN 10 / ISBN 13
- 9780444508126 / 0444508120
- Quantity Available
- 1
- Seller
-
San Diego, California, United States
- Item Price
-
$165.37$5.45 shipping to USA
Show Details
Description:
North Holland, 2001-07-05. Hardcover. New. New. In shrink wrap. Looks like an interesting title!
Item Price
$165.37
$5.45
shipping to USA
Stock Photo: Cover May Be Different
Handbook of Automated Reasoning : Volume II (Handbook of Automated Reasoning)
by Robinson, J. A. (Editor)/ Robinson, Alan/ Voronkov, Andrei (Editor)
- New
- Hardcover
- Condition
- New
- Binding
- Hardcover
- ISBN 10 / ISBN 13
- 9780444508126 / 0444508120
- Quantity Available
- 1
- Seller
-
Exeter, Devon, United Kingdom
- Item Price
-
$246.93$12.68 shipping to USA
Show Details
Description:
North-Holland, 2001. Hardcover. New. 1st edition. 2122 pages. 9.50x6.75x2.00 inches.
Item Price
$246.93
$12.68
shipping to USA
Stock Photo: Cover May Be Different
Handbook of Automated Reasoning
by A. Robinson
- New
- Hardcover
- Condition
- New
- Binding
- Hardcover
- ISBN 10 / ISBN 13
- 9780444508126 / 0444508120
- Quantity Available
- 123
- Seller
-
Uxbridge, Greater London, United Kingdom
- Item Price
-
$276.19$10.14 shipping to USA
Show Details
Description:
Hard Cover. New. New Book; Fast Shipping from UK; Not signed; Not First Edition; The Handbook of Automated Reasoning.
Item Price
$276.19
$10.14
shipping to USA
Stock Photo: Cover May Be Different
Handbook of Automated Reasoning (Volume II)
by Robinson, Alan J.A. [Editor]; Voronkov, Andrei [Editor];
- New
- Hardcover
- Condition
- New
- Binding
- Hardcover
- ISBN 10 / ISBN 13
- 9780444508126 / 0444508120
- Quantity Available
- 5
- Seller
-
campbelltown, Florida, United States
- Item Price
-
$399.00$15.00 shipping to USA
Show Details
Description:
North Holland. Hardcover. New. 9x6x2.
Item Price
$399.00
$15.00
shipping to USA