資料詳細

  • 1 件中、 1 件目

計算論理学入門 貸出可

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

所蔵

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

所蔵館 所蔵場所 請求記号 資料番号 資料区分 帯出区分 状態
一般 公開書庫東 410.9/92/ 00004562906 和書 帯出可 在庫 iLisvirtual

ページの先頭へ

資料詳細

タイトル 計算論理学入門 ,
書名ヨミ ケイサン　ロンリガク　ニュウモン
副書名 ＡＩとコンピュータサイエンスへの論理的アプローチ
著者 赤間世紀 ／著  
著者名ヨミ アカマ　セイキ
出版者 啓学出版
出版年 １９９２．１２
ページ数, 大きさ ３１９ｐ, ２２ｃｍ
NDC８版 007.1
一般件名 記号論理学 , 情報処理
内容注記 各章末：参考文献

ページの先頭へ