資料詳細

  • 1 件中、 1 件目

計算論理学入門

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

所蔵

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

所蔵館 所蔵場所 請求記号 資料コード 資料区分 帯出区分 状態
県立 集密２(X43) 主配架/410.9/ｱｶﾏ*ｾ/ 10210447156 一般図書 書架 iLisvirtual

ページの先頭へ

資料詳細

タイトル 計算論理学入門
副書名 ＡＩとコンピュ－タサイエンスへの論理的アプロ－チ
著者 赤間 世紀 ／著  
出版者 啓学出版
出版年 １９９２．１２
ページ数 ３１９ｐ
大きさ ２２ｃｍ
一般件名 記号論理学 , 情報処理
ISBN 4-7665-1159-X

ページの先頭へ