応用論理
著者
書誌事項
応用論理
(情報数学講座, 1)
共立出版, 1996.3
- タイトル読み
-
オウヨウ ロンリ
大学図書館所蔵 件 / 全221件
-
007.1||J66||1000015438,
007.1||J66||1000154831, 007.1||J66||100001543, 007.1||J66||100015483 -
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
参考文献: p[199]-200. 索引: 巻末
内容説明・目次
目次
- 第1章 古典命題論理
- 第2章 一階古典述語論理
- 第3章 論理プログラミング
- 第4章 数え上げと対角線論法
- 第5章 代入と型付きラムダ式
「BOOKデータベース」 より