A Computational Logic Handbook (Perspectives in Computing)
- Author: Boyer - Robert S. Boyer - J. Strother Moore - Robert S.; Moore - J. Strother
- ISBN 10: 0121229521
- ISBN 13: 9780121229528
- Release: 0000-00-00
- Format: Hardcover (408 pages)
- List Price: $71.00
- Tags: Computers & Internet, Computer Science, Artificial Intelligence,
- Buy This Book
-
More Details
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.
Buyback (Sell directly to one of these merchants and get cash immediately)
| Currently there are no buyers interested in purchasing this book. While the book has no cash or trade value, you may consider donating it |
Content Copyright © 1999-2013 Terms and Conditions of Use, Security and Privacy Policy | Resources: 1 2 3 | Site Map
