Symbolic logic and mechanical theorem proving
著者
書誌事項
Symbolic logic and mechanical theorem proving
（Computer science classics）
Academic Press, 1987, c1973
並立書誌 全1件
大学図書館所蔵 件 / 全35件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Bibliography: p 309-324
Includes index
