資料詳細

  • 1 件中、 1 件目

計算論理学入門   貸出可

赤間世紀／著 -- 啓学出版 -- １９９２．１２ -- 410.96

所蔵

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

所蔵場所 請求記号 資料コード 資料区分 帯出区分 状態
書庫４門 /410/Ａ３１/ 0010092193572 一般図書 書架

ページの先頭へ

資料詳細

タイトル１ 計算論理学入門 
副タイトル１ ＡＩとコンピュ－タサイエンスへの論理的アプロ－チ
著者１ 赤間世紀 ／著  
出版年 １９９２．１２
出版者 啓学出版
一般件名 記号論理学
ページ数 ３１９ｐ
大きさ ２２ｃｍ
ISBN 4-7665-1159-X
NDC分類(10版) 410.96
内容紹介 ＡＩを含むコンピュ－タサイエンスのための論理学の入門書。論理学の基本的事項、およびそれがＡＩを含むコンピュ－タサイエンスにどう応用されているのかを解説し、今後の研究の可能性を示唆する。

ページの先頭へ