期刊论文详细信息
| Journal of Formalized Reasoning | |
| Preface: Twenty Years of the QED Manifesto | |
| Josef Urban1 Freek Wiedijk1 John Harrison1 | |
| 关键词: QED; formal verification; formalization of mathematics; | |
| DOI : | |
| 学科分类：计算机科学（综合） | |
| 来源: Universita degli Studi di Bologna | |
 PDF
|
|
【 摘 要 】
This special issue is dedicated to the 20th anniversary of the QED Manifesto and the related 1994 and 1995 QED Workshops.
【 授权许可】
Unknown
【 预 览 】
| Files | Size | Format | View |
|---|---|---|---|
| RO201911300649704ZK.pdf | 105KB |  download |
878987797
028-85220240
