Automated reasoning: Introduction and applications - Hardcover

9780130544537: Automated reasoning: Introduction and applications

Hardcover

ISBN 10: 0130544531 ISBN 13: 9780130544537

View all copies of this ISBN edition

1 Used

From � 74

0 New

Edition details

Language: English
ISBN 10: 0130544531
ISBN 13: 9780130544537
Binding: Hardcover

Other Popular Editions of the Same Title

9780130544469: Introduction and Applications (Automated Reasoning)

Featured Edition

ISBN 10: 0130544469 ISBN 13: 9780130544469
Publisher: Prentice Hall, 1984
Softcover

Search results for Automated reasoning: Introduction and applications

Stock Image

Automated reasoning: Introduction and applications

Boyle Larry, Ross Overbeek, Ewing Lusk, Jim Wos

Published by Prentice-Hall 0, 1984

ISBN 10: 0130544531 ISBN 13: 9780130544537

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 # ERICA82901305445313

Contact seller

Buy Used

� 74

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

Quantity: 1 available

Add to basket