Preface: Twenty Years of the QED Manifesto
Harrison, J, Urban, J., Wiedijk, F
Preface: Twenty Years of the QED Manifesto. JOURNAL OF FORMALIZED REASONING. 2016, 9(1), 1-2. ISSN 1972-5787. DOI 10.6092/issn.1972-5787/5974.
Harrison, J, Urban, J., Wiedijk, F
Preface: Twenty Years of the QED Manifesto. JOURNAL OF FORMALIZED REASONING. 2016, 9(1), 1-2. ISSN 1972-5787. DOI 10.6092/issn.1972-5787/5974.