![](/img/cover-not-exists.png)
Verifying time, memory and communication bounds in systems of reasoning agents
Natasha Alechina, Brian Logan, Hoang Nga Nguyen, Abdur RakibVolume:
169
Language:
english
Pages:
19
DOI:
10.1007/s11229-009-9557-1
Date:
July, 2009
File:
PDF, 330 KB
english, 2009