Items related to Handbook of Automated Reasoning: Volume II

Handbook of Automated Reasoning: Volume II - Hardcover

 
9780444508126: Handbook of Automated Reasoning: Volume II
Hardcover
ISBN 10: 0444508120 ISBN 13: 9780444508126
Publisher: North Holland, 2001
View all copies of this ISBN edition:
 
 
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.

"synopsis" may belong to another edition of this title.

Other Popular Editions of the Same Title

9780262182225: Handbook of Automated Reasoning: v. 2

Featured Edition

ISBN 10:  026218222X ISBN 13:  9780262182225
Publisher: MIT Press, 2001
Hardcover

Top Search Results from the AbeBooks Marketplace

Stock Image

Robinson, Alan J.A.
Published by North Holland (2001)
ISBN 10: 0444508120 ISBN 13: 9780444508126
New Hardcover Quantity: 1
Seller:
Front Cover Books
(Denver, CO, U.S.A.)
Rating
Seller Rating: 5-star rating, Learn more about seller ratings

Book Description Condition: new. Seller Inventory # FrontCover0444508120

More information about this seller | Contact seller

Buy New
£ 118.77
Convert currency

Add to Basket

Shipping: £ 3.44
Within U.S.A.
Destination, rates & speeds
Stock Image

Robinson, Alan J.A.
Published by North Holland (2001)
ISBN 10: 0444508120 ISBN 13: 9780444508126
New Hardcover Quantity: 1
Seller:
Grumpys Fine Books
(Tijeras, NM, U.S.A.)
Rating
Seller Rating: 4-star rating, Learn more about seller ratings

Book Description Hardcover. Condition: new. Prompt service guaranteed. Seller Inventory # Clean0444508120

More information about this seller | Contact seller

Buy New
£ 118.97
Convert currency

Add to Basket

Shipping: £ 3.40
Within U.S.A.
Destination, rates & speeds
Stock Image

ROBINSON
Published by North Holland (2001)
ISBN 10: 0444508120 ISBN 13: 9780444508126
New Hardcover Quantity: 1
Seller:
Basi6 International
(Irving, TX, U.S.A.)
Rating
Seller Rating: 5-star rating, Learn more about seller ratings

Book Description Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Seller Inventory # ABEOCT23-370526

More information about this seller | Contact seller

Buy New
£ 122.38
Convert currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, rates & speeds
Stock Image

Robinson, Alan J.A.
Published by North Holland (2001)
ISBN 10: 0444508120 ISBN 13: 9780444508126
New Hardcover Quantity: 1
Seller:
GoldBooks
(Denver, CO, U.S.A.)
Rating
Seller Rating: 5-star rating, Learn more about seller ratings

Book Description Hardcover. Condition: new. New Copy. Customer Service Guaranteed. Seller Inventory # think0444508120

More information about this seller | Contact seller

Buy New
£ 148.27
Convert currency

Add to Basket

Shipping: £ 3.40
Within U.S.A.
Destination, rates & speeds
Stock Image

Alan J.A. Robinson, Andrei Voronkov
Published by North Holland 2001-06-21 (2001)
ISBN 10: 0444508120 ISBN 13: 9780444508126
New Hardcover Quantity: > 20
Seller:
Chiron Media
(Wallingford, United Kingdom)
Rating
Seller Rating: 5-star rating, Learn more about seller ratings

Book Description Hardcover. Condition: New. Seller Inventory # 6666-ELS-9780444508126

More information about this seller | Contact seller

Buy New
£ 159.56
Convert currency

Add to Basket

Shipping: £ 14.99
From United Kingdom to U.S.A.
Destination, rates & speeds
Stock Image

Robinson, J. A. (Editor)/ Robinson, Alan/ Voronkov, Andrei (Editor)
Published by North-Holland (2001)
ISBN 10: 0444508120 ISBN 13: 9780444508126
New Hardcover Quantity: 2
Seller:
Revaluation Books
(Exeter, United Kingdom)
Rating
Seller Rating: 5-star rating, Learn more about seller ratings

Book Description Hardcover. Condition: Brand New. 1st edition. 2122 pages. 9.50x6.75x2.00 inches. In Stock. Seller Inventory # __0444508120

More information about this seller | Contact seller

Buy New
£ 194.66
Convert currency

Add to Basket

Shipping: £ 10
From United Kingdom to U.S.A.
Destination, rates & speeds
Stock Image

Published by Elsevier (2001)
ISBN 10: 0444508120 ISBN 13: 9780444508126
New Hardcover Quantity: > 20
Print on Demand
Seller:
Brook Bookstore On Demand
(Napoli, NA, Italy)
Rating
Seller Rating: 5-star rating, Learn more about seller ratings

Book Description Condition: new. Questo è un articolo print on demand. Seller Inventory # bc228190f5f0c56428bbaf4d0cd0da5a

More information about this seller | Contact seller

Buy New
£ 204.49
Convert currency

Add to Basket

Shipping: £ 9.53
From Italy to U.S.A.
Destination, rates & speeds
Stock Image

Published by North Holland (2001)
ISBN 10: 0444508120 ISBN 13: 9780444508126
New Hardcover Quantity: 1
Seller:
BennettBooksLtd
(North Las Vegas, NV, U.S.A.)
Rating
Seller Rating: 4-star rating, Learn more about seller ratings

Book Description Condition: New. New. In shrink wrap. Looks like an interesting title! 5.47. Seller Inventory # Q-0444508120

More information about this seller | Contact seller

Buy New
£ 207.75
Convert currency

Add to Basket

Shipping: £ 6.55
Within U.S.A.
Destination, rates & speeds
Stock Image

A. Robinson
Published by Elsevier BV (2001)
ISBN 10: 0444508120 ISBN 13: 9780444508126
New Hardcover Quantity: > 20
Print on Demand
Seller:
Ria Christie Collections
(Uxbridge, United Kingdom)
Rating
Seller Rating: 5-star rating, Learn more about seller ratings

Book Description Condition: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. Seller Inventory # ria9780444508126_lsuk

More information about this seller | Contact seller

Buy New
£ 206.45
Convert currency

Add to Basket

Shipping: £ 9.98
From United Kingdom to U.S.A.
Destination, rates & speeds
Stock Image

Published by North Holland (2001)
ISBN 10: 0444508120 ISBN 13: 9780444508126
New Hardcover Quantity: > 20
Seller:
Lucky's Textbooks
(Dallas, TX, U.S.A.)
Rating
Seller Rating: 5-star rating, Learn more about seller ratings

Book Description Condition: New. Seller Inventory # ABLIING23Feb2215580211801

More information about this seller | Contact seller

Buy New
£ 264.23
Convert currency

Add to Basket

Shipping: £ 3.19
Within U.S.A.
Destination, rates & speeds

There are more copies of this book

View all search results for this book