Automation of Reasoning: Classical Papers on Computational Logic, 1967-1970

5 avg rating
( 1 ratings by Goodreads )
 
9780387120447: Automation of Reasoning: Classical Papers on Computational Logic, 1967-1970
View all copies of this ISBN edition:
 
 

Top Search Results from the AbeBooks Marketplace

1.

n/a
Published by Springer-Verlag (1983)
ISBN 10: 0387120440 ISBN 13: 9780387120447
Used Quantity Available: 2
Seller:
Better World Books
(Mishawaka, IN, U.S.A.)
Rating
[?]

Book Description Springer-Verlag, 1983. Condition: Good. Former Library book. Shows some signs of wear, and may have some markings on the inside. Seller Inventory # GRP62147406

More information about this seller | Contact this seller

Buy Used
US$ 4.68
Convert currency

Add to Basket

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

2.

Siekmann, Jorg H.
Published by Springer Verlag
ISBN 10: 0387120440 ISBN 13: 9780387120447
Used Hardcover Quantity Available: 1
Seller:
Discover Books
(Baltimore, MD, U.S.A.)
Rating
[?]

Book Description Springer Verlag. Hardcover. Condition: VERY GOOD. Light rubbing wear to cover, spine and page edges. Very minimal writing or notations in margins not affecting the text. Possible clean ex-library copy, with their stickers and or stamp(s). Seller Inventory # 2948342090

More information about this seller | Contact this seller

Buy Used
US$ 9.31
Convert currency

Add to Basket

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

3.

Siekmann, Jorg; Wrightson, Graham, Eds
Published by Springer Verlag, Secaucus (1983)
ISBN 10: 0387120440 ISBN 13: 9780387120447
Used Hardcover Quantity Available: 1
Seller:
Moe's Books
(Berkeley, CA, U.S.A.)
Rating
[?]

Book Description Springer Verlag, Secaucus, 1983. Hardcover. Condition: Fair. No Jacket. Volumes 2 only. Pages browned. Cover scuffed. Price sticker on front cover. Seller Inventory # 1066370

More information about this seller | Contact this seller

Buy Used
US$ 19.20
Convert currency

Add to Basket

Shipping: US$ 3.99
Within U.S.A.
Destination, rates & speeds

4.

Editor-Jorg H. Siekmann
Published by Springer (1983)
ISBN 10: 0387120440 ISBN 13: 9780387120447
Used Hardcover Quantity Available: 1
Seller:
Ergodebooks
(RICHMOND, TX, U.S.A.)
Rating
[?]

Book Description Springer, 1983. Hardcover. Condition: Used: Good. Seller Inventory # SONG0387120440

More information about this seller | Contact this seller

Buy Used
US$ 23.85
Convert currency

Add to Basket

Shipping: US$ 3.99
Within U.S.A.
Destination, rates & speeds

5.

VV.AA.
Published by Springer-Verlag., Germany, (1983)
ISBN 10: 0387120440 ISBN 13: 9780387120447
Used Quantity Available: 1
Seller:
Libreria Anticuaria Jerez
(Rivas-Vaciamadrid, MADRI, Spain)
Rating
[?]

Book Description Springer-Verlag., Germany, 1983. Tapa dura sin sobrecubiertas; buen estado de conservacion. Tamaño: 25 x 17 cm., 636 pag. REVISTAS Y PUBLICACIONES INTELIGENCIA ARTIFICIAL. Seller Inventory # 95129

More information about this seller | Contact this seller

Buy Used
US$ 8.05
Convert currency

Add to Basket

Shipping: US$ 27.72
From Spain to U.S.A.
Destination, rates & speeds

6.

Springer-Verlag
Published by Springer-Verlag (1983)
ISBN 10: 0387120440 ISBN 13: 9780387120447
Used Hardcover Quantity Available: 1
Seller:
Books Express
(Portsmouth, NH, U.S.A.)
Rating
[?]

Book Description Springer-Verlag, 1983. Hardcover. Condition: Good. Ships with Tracking Number! INTERNATIONAL WORLDWIDE Shipping available. May not contain Access Codes or Supplements. May be ex-library. Shipping & Handling by region. Buy with confidence, excellent customer service!. Seller Inventory # 0387120440

More information about this seller | Contact this seller

Buy Used
US$ 95.63
Convert currency

Add to Basket

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