Towards agent based proof planning. Deduktionstreffen, Saarland University, Saarbrücken, Germany, 2000.
bibtex   
@book{Talk120a,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Keywords = {presentation, workshop presentations},
	Publisher = {Deduktionstreffen, Saarland University, Saarbr{\"u}cken, Germany},
	Title = {Towards agent based proof planning},
	Year = 2000}

Downloads: 0