(Invited) Panel member of the IJCAR 2001 Workshop Future Directions in Automated Reasoning — Problems and Ideas for a New Millennium. IJCAR 2001, Siena, Italy, 2001.
bibtex   
@book{Talk38,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Keywords = {presentation, invited presentations, workshop presentations},
	Publisher = {IJCAR 2001, Siena, Italy},
	Title = {{(Invited)} Panel member of the IJCAR 2001 Workshop Future Directions in Automated Reasoning --- Problems and Ideas for a New Millennium},
	Year = 2001}

Downloads: 0