Preface: Twenty Years of the QED Manifesto
Harrison, John ; Urban, Josef ; Wiedijk, Freek
Journal of Formalized Reasoning, Tome 9 (2016), / Harvested from Journal of Formalized Reasoning
Link
Link

This special issue is dedicated to the 20th anniversary of the QEDManifesto and the related 1994 and 1995 QED Workshops.

Publié le : 2016-01-01
DOI : https://doi.org/10.6092/issn.1972-5787/5974 
@article{5974,
     title = {Preface: Twenty Years of the QED Manifesto},
     journal = {Journal of Formalized Reasoning},
     volume = {9},
     year = {2016},
     doi = {10.6092/issn.1972-5787/5974},
     language = {EN},
     url = {http://dml.mathdoc.fr/item/5974}
}

Harrison, John; Urban, Josef; Wiedijk, Freek. Preface: Twenty Years of the QED Manifesto. Journal of Formalized Reasoning, Tome 9 (2016) . doi : 10.6092/issn.1972-5787/5974. http://gdmltest.u-ga.fr/item/5974/