ログイン
ヘルプ
×終了
日本語
|
English
検索
ブックマーク
マイライブラリ
検索条件入力
>
書誌詳細
> 関連資料一覧:(本学所蔵)
関連資料一覧:(本学所蔵)
検索条件
著者情報:照井, 一成(1971-)
図書(1件)
選択行を:
10件
20件
50件
資料名
所蔵館
責任表示
出版者
出版年
所在
1
コンピュータは数学者になれるのか? : 数学基礎論から証明とプログラムの理論へ
太秦南館
照井一成著
青土社
2015
太秦南館:5階閲覧室
410.96||Te76k
選択行を
▲ページトップへ
動画を再生するにはvideoタグをサポートしたブラウザが必要です。