Interactive Theorem Proving - Modelling the User in the Proof Process
Beckert, Bernhard
; Grebing, Sarah
; Grebing, Sarah| Zugehörige Institution(en) am KIT | Institut für Theoretische Informatik (ITI) |
| Publikationstyp | Proceedingsbeitrag |
| Publikationsjahr | 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 |