述語論理と論理プログラミング
著者
書誌事項
述語論理と論理プログラミング
(知識工学講座, 4)
オーム社, 1988.5
- タイトル読み
-
ジュツゴ ロンリ ト ロンリ プログラミング
大学図書館所蔵 全192件
  青森
  岩手
  宮城
  秋田
  山形
  福島
  茨城
  栃木
  群馬
  埼玉
  千葉
  東京
  神奈川
  新潟
  富山
  石川
  福井
  山梨
  長野
  岐阜
  静岡
  愛知
  三重
  滋賀
  京都
  大阪
  兵庫
  奈良
  和歌山
  鳥取
  島根
  岡山
  広島
  山口
  徳島
  香川
  愛媛
  高知
  福岡
  佐賀
  長崎
  熊本
  大分
  宮崎
  鹿児島
  沖縄
  韓国
  中国
  タイ
  イギリス
  ドイツ
  スイス
  フランス
  ベルギー
  オランダ
  スウェーデン
  ノルウェー
  アメリカ
この図書・雑誌をさがす
注記
参考文献: p[211]-213
内容説明・目次
内容説明
知識工学の展開に重要な役割を果たしている命題論理・述語論理の基礎概念・基礎理論から論理プログラミング手法をAl関係者の必須知識として解説!
目次
- 1章 命題論理
- 2章 述語論理
- 3章 導出原理
- 4章 論理プログラムとインタプリタ
- 5章 論理プログラムのモデル理論
- 6章 手続き的意味論
- 7章 否定の導出
- 8章 拡張単一化と等式論理
「BOOKデータベース」 より