KIT | KIT-Bibliothek | Impressum

Interactive Theorem Proving - Modelling the User in the Proof Process

Beckert, Bernhard; Grebing, Sarah



Zugehörige Institution(en) am KIT Institut für Theoretische Informatik (ITI)
Publikationstyp Proceedingsbeitrag
Jahr 2015
Sprache Englisch
Identifikator KITopen ID: 1000052942
Erschienen in Workshop on Bridging the Gap between Human and Automated Reasoning : A workshop of the 25th International Conference on Automated Deduction (CADE-25), Berlin, Germany, August 1-7, 2015
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page