Home  |  english  |  Impressum  |  Datenschutz  |  Sitemap  |  KIT

Interactive Theorem Proving - Modelling the User in the Proof Process

Begutachtete Veröffentlichung in Tagungsband

Autor(en):Bernhard Beckert und 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)
Verleger:CEUR-WS.org
Reihe:CEUR Workshop Proceedings
Band:1412
Jahr:2015
URL:http://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 = {http://ceur-ws.org/Vol-1412},
  year = {2015},
  month = aug
}