ログイン
ヘルプ
×終了
日本語
|
English
検索
ブックマーク
マイライブラリ
検索条件入力
>
書誌詳細
>
関連資料一覧:(本学所蔵)
> コンピュータは数学者になれるのか? : 数学基礎論から証明とプログラムの理論へ
書誌情報:コンピュータは数学者になれるのか? : 数学基礎論から証明とプログラムの理論へ
コンピュータ ワ スウガクシャ ニ ナレルノカ? : スウガク キソロン カラ ショウメイ ト プログラム ノ リロン エ
照井一成著
東京 : 青土社 , 2015.3
357p : 挿図 ; 20cm
WebCatPlus を見る
CiNii Books を見る
所蔵一覧
巻号
予約人数
所在
請求記号
登録番号
資料ID
状態
貸出区分
備考
1
0
太秦南館:5階閲覧室
410.96
Te76k
10389183
08001988
利用可
図書(帯出可)
選択行を:
書誌詳細
刊年
2015
形態
357p : 挿図 ; 20cm
別書名
コンピュータは数学者になれるのか : 数学基礎論から証明とプログラムの理論へ
注記
文献一覧: p345-352
出版国
日本
標題言語
日本語
本文言語
日本語
著者情報
照井, 一成(1971-)
(テルイ, カズシゲ)
分類
NDC8:410.96
NDC9:410.96
ISBN
9784791768516
件名
BSH:記号論理学
NDLSH:情報科学
NCID
BB18264240
番号
OTHN : TRC:15010194
WebCatPlus を見る
CiNii Books を見る
▲ページトップへ
動画を再生するにはvideoタグをサポートしたブラウザが必要です。