KIT | KIT-Bibliothek | Impressum

Visual Theorem Proving with the Incredible Proof Machine

Breitner, Joachim



Zugehörige Institution(en) am KIT Institut für Programmstrukturen und Datenorganisation (IPD)
Publikationstyp Proceedingsbeitrag
Jahr 2016
Sprache Englisch
Identifikator DOI: 10.1007/978-3-319-43144-4_8
ISBN: 978-3-319-43143-7
ISSN: 0302-9743
KITopen ID: 1000060084
Erschienen in Interactive Theorem Proving. 7th International Conference (ITP), Nancy, France, August 22-25, 2016
Verlag Springer, Berlin
Seiten 123-139
Serie Lecture Notes in Computer Science ; 9807
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page