Automation of Reasoning I: Classical Papers on Computational Logic 1957-1966 - Joerg H. Siekmann - Hardcover

Name: Automation of Reasoning I: Classical Papers on Computational Logic 1957-1966 - Joerg H. Siekmann - Hardcover
Price: 117.00 USD
Availability: OutOfStock
ISBN: 9780387120430

by Siekmann, Joerg H., Wrightson, G.

Marketplace Prices
Used from $112.61

Used
$112.61

List Price

~~$117.00~~

Discount

3% Off

You Save

$4.39

Item Details
Condition: Good
Provider: Bonita
Provider Rating:

0%
Ships From: Multiple Locations
Shipping: Standard
Comments: Access codes and supplements are not guaranteed with used items. May be an ex-library book.

ISBN-13: 9780387120430
ISBN: 0387120432
Publisher: Springer

AUTHOR

Siekmann, Joerg H., Wrightson, G.

SUMMARY

Papers which shaped & influenced the field of computational logic. Makes available the classical works in the field. First volume covers 1957-1966.Siekmann, Joerg H. is the author of 'Automation of Reasoning I: Classical Papers on Computational Logic 1957-1966 - Joerg H. Siekmann - Hardcover' with ISBN 9780387120430 and ISBN 0387120432.

[read more]