Handbook of Automated Reasoning: v. 2: 002 (Mit Press)

4 avg rating
( 2 ratings by Goodreads )
 
9780262182225: Handbook of Automated Reasoning: v. 2: 002 (Mit Press)
View all copies of this ISBN edition:
 
 

Handbook of Automated Reasoning: Vol 2 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. Full description

"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.

Top Search Results from the AbeBooks Marketplace

1.

JA Robinson
Published by The MIT Press
ISBN 10: 026218222X ISBN 13: 9780262182225
New Hardcover Quantity Available: 1
Seller:
Booklot COM LLC
(Philadelphia, PA, U.S.A.)
Rating
[?]

Book Description The MIT Press. Hardcover. Condition: New. 026218222X. Seller Inventory # Z026218222XZN

More information about this seller | Contact this seller

Buy New
21.65
Convert currency

Add to Basket

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

2.

JA Robinson
Published by The MIT Press
ISBN 10: 026218222X ISBN 13: 9780262182225
New Hardcover Quantity Available: 1
Seller:
BookShop4U
(PHILADELPHIA, PA, U.S.A.)
Rating
[?]

Book Description The MIT Press. Hardcover. Condition: New. 026218222X. Seller Inventory # Z026218222XZN

More information about this seller | Contact this seller

Buy New
21.65
Convert currency

Add to Basket

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

3.

JA Robinson
Published by The MIT Press
ISBN 10: 026218222X ISBN 13: 9780262182225
New Hardcover Quantity Available: 1
Seller:
Vital Products COM LLC
(Southampton, PA, U.S.A.)
Rating
[?]

Book Description The MIT Press. Hardcover. Condition: New. 026218222X. Seller Inventory # Z026218222XZN

More information about this seller | Contact this seller

Buy New
21.65
Convert currency

Add to Basket

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

4.

JA Robinson
Published by The MIT Press
ISBN 10: 026218222X ISBN 13: 9780262182225
New Hardcover Quantity Available: 1
Seller:
Qwestbooks COM LLC
(Bensalem, PA, U.S.A.)
Rating
[?]

Book Description The MIT Press. Hardcover. Condition: New. 026218222X. Seller Inventory # Z026218222XZN

More information about this seller | Contact this seller

Buy New
21.65
Convert currency

Add to Basket

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

5.

JA Robinson
Published by The MIT Press
ISBN 10: 026218222X ISBN 13: 9780262182225
New Hardcover Quantity Available: 1
Seller:
Bookhouse COM LLC
(Philadelphia, PA, U.S.A.)
Rating
[?]

Book Description The MIT Press. Hardcover. Condition: New. 026218222X. Seller Inventory # Z026218222XZN

More information about this seller | Contact this seller

Buy New
21.65
Convert currency

Add to Basket

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

6.

JA Robinson
Published by The MIT Press
ISBN 10: 026218222X ISBN 13: 9780262182225
New Hardcover Quantity Available: 1
Seller:
Mega Buzz
(Bensalem, PA, U.S.A.)
Rating
[?]

Book Description The MIT Press. Hardcover. Condition: New. 026218222X. Seller Inventory # Z026218222XZN

More information about this seller | Contact this seller

Buy New
21.65
Convert currency

Add to Basket

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

7.

JA Robinson
Published by The MIT Press
ISBN 10: 026218222X ISBN 13: 9780262182225
New Hardcover Quantity Available: 1
Seller:
Best Bates
(Bensalem, PA, U.S.A.)
Rating
[?]

Book Description The MIT Press. Hardcover. Condition: New. 026218222X. Seller Inventory # Z026218222XZN

More information about this seller | Contact this seller

Buy New
21.65
Convert currency

Add to Basket

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

8.

JA Robinson
Published by The MIT Press 2001-09-01 (2001)
ISBN 10: 026218222X ISBN 13: 9780262182225
New Hardcover Quantity Available: 1
Seller:
Ebooksweb COM LLC
(Bensalem, PA, U.S.A.)
Rating
[?]

Book Description The MIT Press 2001-09-01, 2001. Hardcover. Condition: New. 026218222X. Seller Inventory # Z026218222XZN

More information about this seller | Contact this seller

Buy New
21.66
Convert currency

Add to Basket

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

9.

JA Robinson
Published by MIT Press
ISBN 10: 026218222X ISBN 13: 9780262182225
New Quantity Available: > 20
Seller:
INDOO
(Avenel, NJ, U.S.A.)
Rating
[?]

Book Description MIT Press. Condition: New. Brand New. Seller Inventory # 026218222X

More information about this seller | Contact this seller

Buy New
24.52
Convert currency

Add to Basket

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

10.

J. Alan Robinson (Editor), Andrei Voronkov (Editor)
Published by The MIT Press (2001)
ISBN 10: 026218222X ISBN 13: 9780262182225
New Hardcover Quantity Available: 1
Seller:
Ergodebooks
(RICHMOND, TX, U.S.A.)
Rating
[?]

Book Description The MIT Press, 2001. Hardcover. Condition: New. Seller Inventory # DADAX026218222X

More information about this seller | Contact this seller

Buy New
27.76
Convert currency

Add to Basket

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

There are more copies of this book

View all search results for this book