コンピュータ ワ スウガクシャ ニ ナレルノカ? : スウガク キソロン カラ ショウメイ ト プログラム ノ リロン エ
コンピュータは数学者になれるのか? : 数学基礎論から証明とプログラムの理論へ / 照井一成著
書誌詳細を非表示
大きさ |
357p ; 20cm |
別書名 |
異なりアクセスタイトル:コンピュータは数学者になれるのか : 数学基礎論から証明とプログラムの理論へ |
件 名 |
BSH:記号論理学 |
一般注記 |
文献一覧: p345-352 |
分 類 |
NDC8:410.96 NDC9:410.96 |
書誌ID |
BB10125557 |
本文言語 |
日本語 |
巻冊次 |
ISBN:9784791768516 ; PRICE:2800円 (税別) |
NCID |
BB18264240
|