Deep Inference for Automated Proof Tutoring (poster). KI, 2007. poster
bibtex   
@book{Talk169,
	OPTAuthor = {Christoph Benzm{\"u}ller and Dominik Dietrich and Marvin Schiller and Serge Autexier},
	Note = {<a href="http://christoph-benzmueller.de/papers/poster-ki-07.pdf" target="_blank">poster</a>},
	Keywords = {presentation, conference presentations, poster presentations},
	Publisher = {KI},
	Title = {Deep Inference for Automated Proof Tutoring (poster)},
	Year = 2007}

Downloads: 0