(Invited) Towards Agent based Theorem Proving and Proof Planning in OMEGA. Department of Computer Science, The University of York, UK, 2000.
bibtex   
@book{Talk43,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Keywords = {presentation, invited presentations},
	Publisher = {Department of Computer Science, The University of York, UK},
	Title = {{(Invited)} Towards Agent based Theorem Proving and Proof Planning in OMEGA},
	Year = 2000}

Downloads: 0