知識と推論

森下真一 著

[目次]

  • 第1章 論理に基づく知識の表現と推論
  • 第2章 一階述語論理
  • 第3章 論理プログラム
  • 第4章 否定を含む論理プログラムによる非単調推論

「BOOKデータベース」より

この本の情報

書名 知識と推論
著作者等 森下 真一
書名ヨミ チシキ ト スイロン
書名別名 Chishiki to suiron
シリーズ名 情報数学講座 第10巻
出版元 共立
刊行年月 1994.1
ページ数 205p
大きさ 22cm
ISBN 4320026608
NCID BN10188347
※クリックでCiNii Booksを表示
全国書誌番号
94027582
※クリックで国立国会図書館サーチを表示
言語 日本語
出版国 日本
この本を: 
このエントリーをはてなブックマークに追加

このページを印刷

外部サイトで検索

この本と繋がる本を検索

ウィキペディアから連想