Interactive Proof Construction at the Task Level (bibtex)
by Malte Hübner, Christoph Benzmüller, Serge Autexier, Andreas Meier
Reference:
Interactive Proof Construction at the Task Level (Malte Hübner, Christoph Benzmüller, Serge Autexier, Andreas Meier), In Proceedings of the Workshop User Interfaces for Theorem Provers (UITP 2003), ARACNE EDITRICE S.R.L. (ISBN 88-7999-545-6), pp. 81-100, 2003. (Also available as: Technical Report No. 189, Institut für Informatik, Albert-Ludwig-Universität, Freiburg)
Bibtex Entry:
@inproceedings{W24,
  Address =	 {Rome, Italy},
  Author =	 {Malte H\"ubner and Christoph Benzm\"uller and Serge
                  Autexier and Andreas Meier},
  Booktitle =	 {Proceedings of the Workshop User Interfaces for
                  Theorem Provers (UITP 2003)},
  Note =	 {Also available as: Technical Report No. 189,
                  Institut f\"ur Informatik,
                  Albert-Ludwig-Universit\"at, Freiburg},
  Pages =	 {81-100},
  Publisher =	 {ARACNE EDITRICE S.R.L. (ISBN 88-7999-545-6)},
  Title =	 {Interactive Proof Construction at the Task Level},
  Url =		 {http://christoph-benzmueller.de/papers/W24.pdf},
  Year =	 2003,
}
Powered by bibtexbrowser