資料詳細

詳細蔵書検索

計算論理学入門

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

所蔵

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

所蔵場所	請求記号	資料番号	資料区分	帯出区分	状態
書庫	4109/A4/	1103493183	一般	貸出可	在庫

ページの先頭へ

資料詳細

種別	図書
タイトルコード	1104038616
タイトル	計算論理学入門
タイトルカナ	ケイサン　ロンリガク　ニュウモン
副書名	ＡＩとコンピュータサイエンスへの論理的アプローチ
著者	赤間世紀／著
著者カナ	アカマ　セイキ
出版地	東京
出版者	啓学出版
出版年	１９９２．１２
ページ数	３１９ｐ
大きさ	２２ｃｍ
一般件名	数学基礎論
NDC分類(8版)	410.9
ISBN	4-7665-1159-X
定価	４５００

ページの先頭へ