Coq : 型理論から来た証明支援系
In: 数学セミナー, Jg. 54 (2015-11-01), Heft 11, S. 18-23
academicJournal
Zugriff:
Titel: |
Coq : 型理論から来た証明支援系
|
---|---|
Autor/in / Beteiligte Person: | Garrigue, Jacques |
Link: | |
Zeitschrift: | 数学セミナー, Jg. 54 (2015-11-01), Heft 11, S. 18-23 |
Reihe: | 特集 コンピュータにできる数学・できない数学 |
Veröffentlichung: | 2015 |
Medientyp: | academicJournal |
ISSN: | 0386-4960 |
Sonstiges: |
|