Adaptive Assertion-Level Proofs (bibtex)
by Christoph Benzmüller, Marvin Schiller
Reference:
Adaptive Assertion-Level Proofs (Christoph Benzmüller, Marvin Schiller), In EMSQMS 2010 -- Workshop on Evaluation Methods for Solvers and Quality Metrics for Solutions (Aaron Stump, Geoff Sutcliffe, Cesare Tinelli, eds.), EasyChair, EPiC Series in Computing, volume 6, pp. 39-40, 2012.
Bibtex Entry:
@inproceedings{W46,
  Author =	 {Christoph Benzm\"uller and Marvin Schiller},
  Booktitle =	 {EMSQMS 2010 -- Workshop on Evaluation Methods for
                  Solvers and Quality Metrics for Solutions},
  Editor =	 {Aaron Stump and Geoff Sutcliffe and Cesare Tinelli},
  Issn =	 {2040-557X},
  Keywords =	 {own, Proof Presentation, DIALOG, Natural Language Dialog,
                  Proof Assistants, Machine Learning, Tutoring
                  Systems},
  Pages =	 {39-40},
  Publisher =	 {EasyChair},
  Series =	 {EPiC Series in Computing},
  Title =	 {Adaptive Assertion-Level Proofs},
  Url =
                  {http://www.easychair.org/publications/?page=1718758449},
  Volume =	 6,
  Year =	 2012,
}
Powered by bibtexbrowser