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

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

Hardcover

ISBN 10: 0387120440 ISBN 13: 9780387120447

Publisher: Springer Verlag, 1983

View all copies of this ISBN edition

1 Used

From � 129

0 New

Edition details

Publisher: Springer Verlag
Publication date: 1983
Language: English
ISBN 10: 0387120440
ISBN 13: 9780387120447
Binding: Hardcover
Editor: Siekmann Jorg H.

Search results for Automation of Reasoning: Classical Papers on Computational...

Stock Image

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

J rg H. Siekmann

Published by Springer-Verlag 0

ISBN 10: 0387120440 ISBN 13: 9780387120447

Used Hardcover

Seller: Mispah books, Redhill, SURRE, United Kingdom

Seller rating 4 out of 5 stars

hardcover. Condition: Good. Good. Dust Jacket NOT present. CD WILL BE MISSING. . SHIPS FROM MULTIPLE LOCATIONS. book. Seller Inventory # ERICA82903871204403

Contact seller

Buy Used

� 129

� 25 shipping
Ships from United Kingdom to U.S.A.

Quantity: 1 available

Add to basket