ENV : prod
CLUSTER : east
SERVER : va1.pricenetwork.com
A Computational Logic Handbook (Perspectives in Computing)
by: Robert S. Boyer - J. Strother Moore
0121229521 / 9780121229528

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

A Computational Logic Handbook (Perspectives in Computing)

Buyback (Sell directly to one of these merchants and get cash immediately)

No Offers.

Currently there are no buyers interested in purchasing this book. While the book has no cash or trade value, you may consider donating it

campusbooks.com  BBB Business Review CopyScape