文章基本信息

标题：Preface: Twenty Years of the QED Manifesto
本地全文：下载
作者：John Harrison ; Josef Urban ; Freek Wiedijk 等
期刊名称：Journal of Formalized Reasoning
印刷版ISSN：1972-5787
出版年度：2016
卷号：9
期号：1
页码：1-2
DOI：10.6092/issn.1972-5787/5974
语种：English
出版社：Alma Mater Studiorum - University of Bologna
摘要：This special issue is dedicated to the 20th anniversary of the QED Manifesto and the related 1994 and 1995 QED Workshops.
其他摘要：This special issue is dedicated to the 20th anniversary of the QED Manifesto and the related 1994 and 1995 QED Workshops.
关键词：QED; formal verification; formalization of mathematics