A computational logic handbook
Author(s)
Bibliographic Information
A computational logic handbook
（Perspectives in computing, v. 23）
Academic Press, c1988
Available at / 55 libraries
-
No Libraries matched.
- Remove all filters.
Note
Bibliography: p. 397-399
Includes index
Description and Table of Contents
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.
by "Nielsen BookData"