資料詳細

  • 1 件中、 1 件目

知識と推論 貸出可

森下 真一／著 -- 共立出版 -- 1994.1 -- 410.96

所蔵

所蔵件数は 1 件です。現在の予約件数は 0 件です。

所蔵場所 請求記号 資料コード 資料区分 帯出区分 状態
地下書庫 /410.9/ﾓ/ 111758967 成人一般 可能 iLisvirtual

ページの先頭へ

資料詳細

タイトル 知識と推論
タイトルカナ チシキ ト スイロン
叢書名 情報数学講座
著者 森下 真一 ／著  
著者カナ モリシタ シンイチ
出版者 共立出版
出版年 1994.1
ページ数 205p
大きさ 22cm
一般件名 記号論理学
ISBN 4-320-02660-8 国立国会図書館 カーリル GoogleBooks WebcatPlus
分類記号 410.96
内容紹介 知識を表現し推論するための数理論学の道具とその数学的性質を解説し、またこれらの道具を計算機上で効率的に実装するための最適化技術を紹介する。

ページの先頭へ