Items related to A Computational Logic Handbook: Formerly Notes and...

A Computational Logic Handbook: Formerly Notes and Reports in Computer Science and Applied Mathematics - Softcover

 
9781483236537: A Computational Logic Handbook: Formerly Notes and Reports in Computer Science and Applied Mathematics

Synopsis

Contains a precise and complete description of the computational logic developed by the authors; will serve also as a reference guide to the associated mechanical theorem proving system. Annotation copyright Book News, Inc. Portland, Or.

"synopsis" may belong to another edition of this title.

Buy New

View this item

US$ 13.53 shipping from United Kingdom to U.S.A.

Destination, rates & speeds

Other Popular Editions of the Same Title

9780121229528: A Computational Logic Handbook (Perspectives in Computing)

Featured Edition

ISBN 10:  0121229521 ISBN 13:  9780121229528
Publisher: Academic Pr, 1988
Hardcover

Search results for A Computational Logic Handbook: Formerly Notes and...

Stock Image

Robert S. Boyer
Published by Academic Press, 2014
ISBN 10: 1483236536 ISBN 13: 9781483236537
New Paperback

Seller: Revaluation Books, Exeter, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Paperback. Condition: Brand New. 426 pages. 9.25x6.00x0.96 inches. In Stock. Seller Inventory # zk1483236536

Contact seller

Buy New

US$ 118.67
Convert currency
Shipping: US$ 13.53
From United Kingdom to U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket