User Interfaces for Theorem Provers, Proceedings of UITP'06 (bibtex)
by Unknown
Reference:
User Interfaces for Theorem Provers, Proceedings of UITP'06, (Serge Autexier, Christoph Benzmüller, eds.), Elsevier, Electronic Notes in Theoretical Computer Science, volume 174, number 2, pp. 1-2, 2007.
Bibtex Entry:
@proceedings{E9,
  Booktitle =	 {User Interfaces for Theorem Provers, Proceedings of
                  UITP'06},
  Editor =	 {Serge Autexier and Christoph Benzm{\"u}ller},
  Issn =	 {1571-0661},
  Keywords =	 {own, User Interface},
  Number =	 2,
  Pages =	 {1-2},
  Publisher =	 {Elsevier},
  Series =	 {Electronic Notes in Theoretical Computer Science},
  Title =	 {User Interfaces for Theorem Provers, Proceedings of
                  UITP'06},
  Url =
                  {http://www.sciencedirect.com/science/journal/15710661/174/2},
  Volume =	 174,
  Year =	 2007,
}
Powered by bibtexbrowser