Interactive Theorem Proving - Modelling the User in the Proof Process

Reviewed Paper In Proceedings

Author(s):Bernhard Beckert and Sarah Grebing
In:Workshop on Bridging the Gap between Human and Automated Reasoning - A workshop of the 25th International Conference on Automated Deduction (CADE-25)
Publisher:CEUR-WS.org
Series:CEUR Workshop Proceedings
Volume:1412
Year:2015
URL:https://ceur-ws.org/Vol-1412

BibTeX

@InProceedings{BeckertGrebing2015,
  author = {Bernhard Beckert and Sarah Grebing},
  title = {Interactive Theorem Proving - Modelling the User in the Proof Process},
  booktitle = {Workshop on Bridging the Gap between Human and Automated Reasoning -
{A} workshop of the 25th International Conference on Automated Deduction (CADE-25)},
  editor = {Ulrich Furbach and Claudia Schon},
  volume = {1412},
  series = {CEUR Workshop Proceedings},
  publisher = {CEUR-WS.org},
  url = {https://ceur-ws.org/Vol-1412},
  year = {2015},
  month = aug
}