資料詳細

  • 1 件中、 1 件目

知識と推論   貸出可

森下真一／著 -- 共立出版 -- １９９４．１ -- 410.96  (情報数学講座 １０)

所蔵

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

所蔵場所 請求記号 資料コード 資料区分 帯出区分 状態
書庫４門 /410/Ｍｏ６５/ 0010093190548 一般図書 書架

ページの先頭へ

資料詳細

タイトル１ 知識と推論 
著者１ 森下真一 ／著  
出版年 １９９４．１
出版者 共立出版
シリーズ名 情報数学講座  １０
一般件名 記号論理学
ページ数 ２０５ｐ
大きさ ２２ｃｍ
ISBN 4-320-02660-8
NDC分類(10版) 410.96
内容紹介 知識を表現し推論するための数理論学の道具とその数学的性質を解説し、またこれらの道具を計算機上で効率的に実装するための最適化技術を紹介する。

ページの先頭へ