トップメニュー >

資料詳細

計算論理学入門貸出可

赤間世紀／著 -- 啓学出版 -- 1992.12 -- 410.96

所蔵

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

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

ページの先頭へ

資料詳細

タイトル	計算論理学入門
タイトルカナ	ケイサンロンリガクニュウモン
副書名	AIとコンピュータサイエンスへの論理的アプローチ
著者	赤間世紀／著
著者カナ	アカマセイキ
出版者	啓学出版
出版年	1992.12
ページ数	319p
大きさ	22cm
一般件名	記号論理学
ISBN	4-7665-1159-X
分類記号	410.96
内容紹介	AIを含むコンピュータサイエンスのための論理学の入門書。論理学の基本的事項、およびそれがAIを含むコンピュータサイエンスにどう応用されているのかを解説し、今後の研究の可能性を示唆する。

ページの先頭へ