基于Coq的杨忠道定理形式化证明
In: 软件学报 / Journal of Software, Jg. 33 (2022), Heft 6, S. 2208
academicJournal
Zugriff:
Titel: |
基于Coq的杨忠道定理形式化证明
|
---|---|
Autor/in / Beteiligte Person: | 严升;郁文生;付尧顺 |
Link: | |
Zeitschrift: | 软件学报 / Journal of Software, Jg. 33 (2022), Heft 6, S. 2208 |
Veröffentlichung: | 2022 |
Medientyp: | academicJournal |
ISSN: | 1000-9825 (print) |
Sonstiges: |
|