Order Total (1 Item Items):
Shipping Destination:
Voronkov Andrei Robinson Alan J a (23 results)
Feedback
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (23)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition Learn more
- New (16)
- As New, Fine or Near Fine (6)
- Very Good or Good (1)
- Fair or Poor (No further results match this refinement)
- As Described (No further results match this refinement)
Binding
Collectible Attributes
- First Edition (No further results match this refinement)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (9)
- Not Print on Demand (19)
Language (1)
Price
- Any Price
- Under £ 20 (No further results match this refinement)
- £ 20 to £ 35 (No further results match this refinement)
- Over £ 35
Free Shipping
Seller Location
Seller Rating
-
Handbook of Automated Reasoning
Published by ELSEVIER SCIENCE & TECHNOLOGY, 2001
ISBN 10: 0444508120 ISBN 13: 9780444508126
Language: English
£ 138.76
Convert currency£ 8.59 shipping from Germany to United KingdomQuantity: 1 available
Add to basketCondition: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher.
-
Handbook of Automated Reasoning: Volume II
Published by North Holland 2001-06-21, 2001
ISBN 10: 0444508120 ISBN 13: 9780444508126
Language: English
£ 166.82
Convert currency£ 2.49 shipping within United KingdomQuantity: Over 20 available
Add to basketHardcover. Condition: New.
-
Handbook of Automated Reasoning
Published by ELSEVIER SCIENCE & TECHNOLOGY, 2001
ISBN 10: 0444829490 ISBN 13: 9780444829498
Language: English
£ 174.42
Convert currency£ 8.59 shipping from Germany to United KingdomQuantity: 1 available
Add to basketCondition: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher.
-
Condition: New. pp. 1188 69:B&W 6.69 x 9.61 in or 244 x 170 mm (Pinched Crown) Case Laminate on White w/Gloss Lam.
-
Handbook of Automated Reasoning
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
£ 194.12
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: New.
-
£ 118.37
Convert currency£ 85.23 shipping from U.S.A. to United KingdomQuantity: 1 available
Add to baskethardcover. Condition: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!
-
Hardcover. Condition: Brand New. 1st edition. 2122 pages. 9.50x6.75x2.00 inches. In Stock.
-
£ 195.64
Convert currency£ 14.82 shipping from U.S.A. to United KingdomQuantity: Over 20 available
Add to basketCondition: New.
-
Handbook of Automated Reasoning (Volume II)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 209.92
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: New. In.
-
£ 218.49
Convert currency£ 6.67 shipping from U.S.A. to United KingdomQuantity: 3 available
Add to basketCondition: New. pp. 1188.
-
£ 231.31
Convert currency£ 6.90 shipping from Germany to United KingdomQuantity: 3 available
Add to basketCondition: New. pp. 1188.
-
£ 232.61
Convert currency£ 21.69 shipping from Germany to United KingdomQuantity: Over 20 available
Add to basketGebunden. Condition: New. This second volume of Handbook of Automated Reasoning covers topics such as higher-order logic and logical frameworks, higher-order unification and matching, logical frameworks, proof-assistants using dependent type systems, and nonclassical logics.Pa.
-
Hardcover. Condition: Like New. Like New. book.
-
Handbook of Automated Reasoning
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
£ 277.99
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
-
£ 289.76
Convert currency£ 6.67 shipping from U.S.A. to United KingdomQuantity: 1 available
Add to basketCondition: New. pp. 2128.
-
Condition: New. pp. 2128.
-
£ 310.17
Convert currency£ 14.82 shipping from U.S.A. to United KingdomQuantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
-
£ 319.78
Convert currency£ 6.90 shipping from Germany to United KingdomQuantity: 1 available
Add to basketCondition: New. pp. 2128.
-
Hardcover. Condition: Like New. Like New. book.
-
Handbook of Automated Reasoning. Vol.1
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
£ 152
Convert currency£ 9.55 shipping from Germany to United KingdomQuantity: 2 available
Add to basketBuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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 pp. Englisch.
-
£ 157.45
Convert currency£ 12.14 shipping from Germany to United KingdomQuantity: 2 available
Add to basketBuch. Condition: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - 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. Vol.2
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
£ 201.89
Convert currency£ 9.55 shipping from Germany to United KingdomQuantity: 2 available
Add to basketBuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This second volume of 'Handbook of Automated Reasoning' covers topics such as higher-order logic and logical frameworks, higher-order unification and matching, logical frameworks, proof-assistants using dependent type systems, and nonclassical logics. Englisch.
-
£ 222.84
Convert currency£ 12.14 shipping from Germany to United KingdomQuantity: 2 available
Add to basketBuch. Condition: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - This second volume of 'Handbook of Automated Reasoning' covers topics such as higher-order logic and logical frameworks, higher-order unification and matching, logical frameworks, proof-assistants using dependent type systems, and nonclassical logics.
