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

£ 6.99 shipping within United Kingdom

Destination, rates & speeds

Other Popular Editions of the Same Title

9780121229528: The Computational Logic Handbook (Perspectives in Computing)

Featured Edition

ISBN 10:  0121229521 ISBN 13:  9780121229528
Publisher: Academic Press Inc, 1997
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

£ 85.16
Convert currency
Shipping: £ 6.99
Within United Kingdom
Destination, rates & speeds

Quantity: 1 available

Add to basket