A computational logic handbook
著者
書誌事項
A computational logic handbook
（Perspectives in computing, v. 23）
Academic Press, c1988
大学図書館所蔵 件 / 全55件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Bibliography: p. 397-399
Includes index
内容説明・目次
内容説明
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.
「Nielsen BookData」 より
