(Invited Tutorial) Higher-Order Automated Theorem Provers. APPA Workshop at VSL'2014, Vienna, Austria, 2014. slides
bibtex   
@book{Talk187,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Note = {<a href="http://christoph-benzmueller.de/papers/2014-APPA.pdf">slides</a>},
	Keywords = {presentation, invited presentations, other presentations},
	Publisher = {APPA Workshop at VSL'2014, Vienna, Austria},
	Title = {{(Invited Tutorial)} Higher-Order Automated Theorem Provers},
	Year = 2014}

Downloads: 0