« 前にもどる
(2024/03/28 18:48:44時点)

近くの図書館から探してみよう

カーリルは全国の図書館から本を検索できるサービスです

コンピュータは数学者になれるのか? -数学基礎論から証明とプログラムの理論へ-

もっともっと探す

+もっと

詳しい情報

出版社: 青土社

単行本: 357 ページ / 5.43306 x 0.90551 x 7.71652 inches

ISBN-10: 4791768515  ISBN-13: 9784791768516

NDC(9): 410.96