コンピュータは数学者になれるのか? -数学基礎論から証明とプログラムの理論へ-
もっともっと探す
+もっと詳しい情報
出版社: 青土社(2015-02-24)
単行本: 357 ページ / 5.43306 x 0.90551 x 7.71652 inches
ISBN-10: 4791768515 ISBN-13: 9784791768516
NDC(9): 410.96
出版社: 青土社(2015-02-24)
単行本: 357 ページ / 5.43306 x 0.90551 x 7.71652 inches
ISBN-10: 4791768515 ISBN-13: 9784791768516
NDC(9): 410.96