---

コンピュータ ワ スウガクシャ ニ ナレルノカ? : スウガク キソロン カラ ショウメイ ト プログラム ノ リロン エ
コンピュータは数学者になれるのか? : 数学基礎論から証明とプログラムの理論へ / 照井一成著

データ種別	図書
出版者	東京 : 青土社
出版年	2015.3
形態	357p : 挿図 ; 20cm
別書名	異なりアクセスタイトル:コンピュータは数学者になれるのか : 数学基礎論から証明とプログラムの理論へ
著者標目	照井, 一成(1971-) <テルイ, カズシゲ>
件　名	BSH:記号論理学 NDLSH:情報科学
分　類	NDC9:410.96 NDC8:410.96
書誌ID	LT01002191

 類似資料