Agent-oriented theorem proving and proof planning in OMEGA. C++ days of SFB 378 Resource adaptive cognitive processes, Mertesdorf, Germany, 2001.
bibtex   
@book{Talk114,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Keywords = {presentation, workshop presentations},
	Publisher = {C++ days of SFB 378 Resource adaptive cognitive processes, Mertesdorf, Germany},
	Title = {Agent-oriented theorem proving and proof planning in OMEGA},
	Year = 2001}

Downloads: 0