Ebook: A Computational Logic Handbook
Author: Robert S. Boyer J Strother Moore
- Genre: Mathematics // Logic
- Series: Perspectives in Computing Volume 23 (Formerly Notes and Reports in Computer Science and Applied Mathematics)
- Year: 1988
- Publisher: Academic Press
- Language: English
- pdf
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
Download the book A Computational Logic Handbook for free or read online
Continue reading on any device:
Last viewed books
Related books
{related-news}
Comments (0)