Coq : 型理論から来た証明支援系
書誌事項
- タイトル別名
-
- Coq : カタ リロン カラ キタ ショウメイ シエンケイ
- 特集 コンピュータにできる数学・できない数学
- トクシュウ コンピュータ ニ デキル スウガク ・ デキナイ スウガク
この論文をさがす
収録刊行物
-
- 数学セミナー
-
数学セミナー 54 (11), 18-23, 2015-11
東京 : 日本評論社
- Tweet
詳細情報 詳細情報について
-
- CRID
- 1521136280497065984
-
- NII論文ID
- 40020614744
-
- NII書誌ID
- AN10333470
-
- ISSN
- 03864960
-
- NDL書誌ID
- 026797478
-
- 本文言語コード
- ja
-
- NDL 雑誌分類
-
- ZM31(科学技術--数学)
-
- データソース種別
-
- NDL
- CiNii Articles