【図書】 コンピュータは数学者になれるのか?
数学基礎論から証明とプログラムの理論へ -- 照井一成 /著 -- 青土社 -- 2015.3 -- 20cm -- 357p
ページの先頭へ
所蔵は 1 件です。現在の予約件数は 0 件です。