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

所蔵

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

所蔵館 場所 棚番号 請求記号 資料コード 貸出利用 状態
本館 書庫1上 Map B/007.1/ヒロ/642833 1106428337 閲可 貸可 協可

資料詳細

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