Search Local DataBase.
Search CiNii Research.
Search CiNii Books.
Search CiNii Dissertations.
Search NDL Search.
Search keyword:(Author: #照井 一成)
Results:1items
コンピュータは数学者になれるのか? : 数学基礎論から証明とプログラムの理論へ / 照井一成著
東京 : 青土社 , 2015.3
Books