Home Book reviews
Author field first Title field first Classic page
Used Book Memo Saved Search New Book Memo
Blank new search Keep last search terms Advanced blank new page Advanced/classic keep search terms Classic blank new search
Contact
☰

DISCLOSURE: When you click on links to various merchants on this site and make a purchase, this can result in this site earning a commission at no extra cost to you. Affiliate programs and affiliations include, but are not limited to, the eBay Partner Network, Amazon and Alibris.

Please share to

4 titles, showing 1-4 sort by PRICE ASC.
Please follow us on AddALL Facebook page twitter page
TITLE

SORT

change title size:
AUTHOR

SORT

change author size:
PRICE

DEALER / SITE

SORT

DESCRIPTION

 

change description size:
1. Handbook of Automated Reasoning: Volume I Buy it!

Save Show this book only

title size:
Robinson, Alan J a (Editor), and Voronkov, Andrei (Editor)
author size:
USD
236.03
price size:
Ria Christie Books via Alibris /Alibris
dealer size:
Amsterdam, Netherlands North-Holland 2001 Hard cover New. Sewn binding. Cloth over boards. 996 p. Contains: Unspecified. Handbook of Automated Reasoning, I.
description size:
2. Handbook of Automated Reasoning: Volume I Buy it!

Save Show this book only

Robinson, Alan J a (Editor), and Voronkov, Andrei (Editor)
author size:
USD
273.77
price size:
Alibris /Alibris
dealer size:
Amsterdam, Netherlands North-Holland 2001 Hard cover New. Sewn binding. Cloth over boards. 996 p. Contains: Unspecified. Handbook of Automated Reasoning, I.
description size:
3. HANDBK OF AUTOMATED REASONING Buy it!

Save Show this book only

Robinson, Alan|Voronkov, Andrei
author size:
USD
298.61
price size:
moluna /ZVAB
dealer size:
ISBN10: 0444829490, ISBN13: 9780444829498, [publisher: Elsevier Science] Hardcover 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.Part I. History 1. The Early History o.
[Greven, Germany] [Publication Year: 2001]
Show/Hide image
description size:
4. HANDBK OF AUTOMATED REASONING Buy it!

Save Show this book only

Robinson, Alan|Voronkov, Andrei
author size:
USD
334.03
price size:
moluna /AbebooksDE
dealer size:
ISBN10: 0444829490, ISBN13: 9780444829498, [publisher: Elsevier Science] Hardcover 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.Part I. History 1. The Early History o.
[Greven, Germany] [Publication Year: 2001]
Show/Hide image
description size:

DISCLOSURE: When you use one of our links to make a purchase, we may earn a commission at no extra cost to you.
As an Amazon Associate, AddALL earn commission from qualifying Amazon purchases.

TOO Many Search Results? Refine it!
Exclude: (what you don't want)
Include: (what you want)
Search Results Sort By:
[Privacy policy | Random quotes | Link to us | About us ]
Copyright © 1998-, Addall.com Pte Ltd. All rights reserved.
240521180027572042