Proceedings of the 8th International Workshop on User Interfaces for Theorem Provers (UITP 2008), Montréal, Canada (bibtex)
by Unknown
Reference:
Proceedings of the 8th International Workshop on User Interfaces for Theorem Provers (UITP 2008), Montréal, Canada, (Serge Autexier, Christoph Benzüller, eds.), Elsevier, Electronic Notes in Theoretical Computer Science, volume 226, pp. 1-106, 2009.
Bibtex Entry:
@proceedings{E12,
  Editor =	 {Serge Autexier and Christoph Benz{\"u}ller},
  Pages =	 {1-106},
  Publisher =	 {Elsevier},
  Series =	 {Electronic Notes in Theoretical Computer Science},
  Title =	 {Proceedings of the 8th International Workshop on
                  User Interfaces for Theorem Provers (UITP 2008),
                  Montr\'{e}al, Canada},
  Url =
                  {http://www.sciencedirect.com/science/journal/15710661/226/},
  Volume =	 226,
  Year =	 2009,
}
Powered by bibtexbrowser