Aufsatz(elektronisch)#128. April 2009
Verifying time, memory and communication bounds in systems of reasoning agents
In: Synthese: an international journal for epistemology, methodology and philosophy of science, Band 169, Heft 2, S. 385-403
ISSN: 1573-0964