資料詳細

計算論理学入門貸出可

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

所蔵

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

所蔵館	所蔵場所	請求記号	資料コード	資料区分	帯出区分	状態
外部書庫	貸閲書庫	/007.1/A31/	111270559	一般和書	帯出可	在館中

※外部書庫の資料につきましては取り寄せとなるため、お時間がかかります。
※帯出区分が「禁帯出」、「禁帯保存」の資料については取り寄せできるものもあります。所蔵館にお問い合わせください。

館名	所蔵数	貸出中数	貸出可能数
外部書庫	1	0	1

タイトル	計算論理学入門
書名カナ	ケイサン　ロンリガク　ニュウモン
副書名	ＡＩとコンピュータサイエンスへの論理的アプローチ
副書名カナ	エイアイ　ト　コンピュータ　サイエンス　エノ　ロンリテキ　アプローチ
著者	赤間世紀／著
著者カナ	アカマ　セイキ
出版者	啓学出版
出版年	１９９２．１２
ページ数	３１９ｐ
大きさ	２２ｃｍ
一般件名	数学基礎論
NDC分類(9版)	410.9
ISBN	4-7665-1159-X
特定資料種別	一般和書
内容注記	各章末：参考文献