(Invited) Concurrent Resource Guided Deduction. Theoretical Computer Science Seminar, School of Computer Science, The University of Birmingham, Birmingham, UK, 2001. slides
bibtex   
@book{Talk40,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Note = {<a href="http://christoph-benzmueller.de/papers/2001-bham-agents-talk.ps.gz">slides</a>},
	Keywords = {presentation, invited presentations},
	Publisher = {Theoretical Computer Science Seminar, School of Computer Science, The University of Birmingham, Birmingham, UK},
	Title = {{(Invited)} Concurrent Resource Guided Deduction},
	Year = 2001}

Downloads: 0