- used books online -

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.

TITLE

SORT

change title size:

AUTHOR

SORT

change author size:

PRICE

DEALER / SITE

SORT

DESCRIPTION

change description size:

1. Automation of Reasoning Buy it!

Save

title size:

N/A

author size:

USD

145.18

price size:

Cold Books /Biblio

dealer size:

Springer , pp. 546, . Papeback. New. Springer ISBN 3642819540 9783642819544 [US]

description size:

2. Automation of Reasoning: Classical Papers on Computational Logic 1957 1966 Buy it!

Save Show this book only

Jorg Siekmann

author size:

USD

145.32

price size:

The Saint Bookstore /Biblio

dealer size:

Paperback / softback. New. Gelernter finished a computer program to prove simple high school geometry theorems. The article by Martin Davis in the first of this series of volumes traces the most influential ideas back to the 'prehistory' of early logical thought showing how these ideas influenced the underlying concepts of most early automatic theorem proving programs. ISBN 3642819540 9783642819544 [GB]

description size:

3. Automation of Reasoning: Classical Papers on Computational Logic 1957 1966 Symbolic Computation/Artificial Intelligence Buy it!

Save Show this book only

Siekmann J. Editor/Wrightson G. Editor

author size:

USD

149.52

price size:

Revaluation Books /Biblio

dealer size:

Springer-Verlag, Date: 2012. Paperback. New. reprint edition. 537 pages. 9.61x6.61x1.50 inches. 2012. Springer-Verlag ISBN 3642819540 9783642819544 [GB]

description size:

The link of the search results: