(Invited) Challenges for Automated Theorem Proving in Classical Higher Order Logics. Heriot-Watt University, Edinburgh, Scotland, 2007.
bibtex   
@book{Talk22,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Keywords = {presentation, invited presentations},
	Publisher = {Heriot-Watt University, Edinburgh, Scotland},
	Title = {{(Invited)} Challenges for Automated Theorem Proving in Classical Higher Order Logics},
	Year = 2007}

Downloads: 0