コンピュータによる定理の証明
著者
書誌事項
コンピュータによる定理の証明
(コンピュータ・サイエンス研究書シリーズ / 日本コンピュータ協会編, 27)
日本コンピュータ協会, 1983.9
- タイトル別名
-
Symbolic logic and mechanical theorem proving
- タイトル読み
-
コンピュータ ニヨル テイリ ノ ショウメイ
大学図書館所蔵 件 / 全125件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
各章末:参考文献 参考文献: p323-338