Preface: Proceedings of the 8th Workshop on User Interfaces for Theorem Provers (UITP 2008) (bibtex)
by Serge Autexier, Christoph Benzmüller
Reference:
Preface: Proceedings of the 8th Workshop on User Interfaces for Theorem Provers (UITP 2008) (Serge Autexier, Christoph Benzmüller), In Electronic Notes in Theoretical Computer Science, volume 226, number 1, pp. 1-2, 2009.
Bibtex Entry:
@article{J20,
  Author =	 {Serge Autexier and Christoph Benzm{\"u}ller},
  Doi =		 {10.1016/j.entcs.2008.12.093},
  Issn =	 {1571-0661},
  Journal =	 {Electronic Notes in Theoretical Computer Science},
  Keywords =	 {own, User Interface, Proof Presentation},
  Number =	 1,
  Pages =	 {1-2},
  Title =	 {Preface: Proceedings of the 8th Workshop on User
                  Interfaces for Theorem Provers ({UITP} 2008)},
  Url =		 {http://christoph-benzmueller.de/papers/J20.pdf},
  Volume =	 226,
  Year =	 2009,
}
Powered by bibtexbrowser