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