KIT | KIT-Bibliothek | Impressum | Datenschutz
Open Access Logo
Download
Originalveröffentlichung
DOI: 10.1007/s10817-018-9465-5
Web of Science
Zitationen: 1

Introduction to Milestones in Interactive Theorem Proving

Avigad, Jeremy; Blanchette, Jasmin Christian; Klein, Gerwin; Paulson, Lawrence; Popescu, Andrei; Snelting, Gregor



Zugehörige Institution(en) am KIT Institut für Programmstrukturen und Datenorganisation (IPD)
Publikationstyp Zeitschriftenaufsatz
Jahr 2018
Sprache Englisch
Identifikator ISSN: 0168-7433, 1573-0670
KITopen-ID: 1000083461
Erschienen in Journal of automated reasoning
Band 61
Heft 1-4
Seiten 1–8
Vorab online veröffentlicht am 11.05.2018
Nachgewiesen in Scopus
Web of Science
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page