Proceedings of the 11th International Workshop on User Interfaces for Theorem Provers (UITP 2014), Vienna, Austria (bibtex)
by Unknown
Reference:
Proceedings of the 11th International Workshop on User Interfaces for Theorem Provers (UITP 2014), Vienna, Austria, (Christoph Benzüller, Bruno Woltzenlogel Paleo, eds.), Electronic Proceedings in Theoretical Computer Science (EPTCS), volume 167, pp. 1-94, 2014.
Bibtex Entry:
@proceedings{E13,
  Doi =		 {10.4204/EPTCS.167},
  Editor =	 {Christoph Benz{\"u}ller and Woltzenlogel Paleo,
                  Bruno},
  Issn =	 {2075-2180},
  Pages =	 {1-94},
  Series =	 {Electronic Proceedings in Theoretical Computer
                  Science (EPTCS)},
  Title =	 {Proceedings of the 11th International Workshop on
                  User Interfaces for Theorem Provers (UITP 2014),
                  Vienna, Austria},
  Url =
                  {http://eptcs.web.cse.unsw.edu.au/content.cgi?UITP2014},
  Volume =	 167,
  Year =	 2014,
}
Powered by bibtexbrowser