The Computational Logic Handbook
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.
- Hardback | 408 pages
- 154.94 x 231.14 x 25.4mm | 748.42g
- 01 Jan 1989
- Elsevier Science Publishing Co Inc
- Academic Press Inc
- San Diego, United States