このページのリンク

他の検索サイト

<図書>
計算論理学入門 : AIとコンピュータサイエンスへの論理的アプローチ / 赤間世紀著
ケイサン ロンリガク ニュウモン : AI ト コンピュータ サイエンス エノ ロンリテキ アプローチ

データ種別 図書
出版者 東京 : 啓学出版
出版年 1992.12
大きさ 319p ; 22cm

所蔵情報を非表示

千住 一般
410.96/A31 9201405280
476651159X
千住 一般
410.96/A31 9201405298
476651159X
東京西 2F一般
410.96/A31 9201405272
476651159X

書誌詳細を表示

本文言語 日本語
一般注記 各章末:参考文献
著者標目 赤間, 世紀(1960-) <アカマ, セイキ>
件 名 BSH:記号論理学
NDLSH:情報処理
分 類 NDC8:007.1
NDC8:410.96
NDC7:410.12
書誌ID 2000011295
ISBN 476651159X
NCID BN08596180

 類似資料