![](https://www.pdfsearch.io/img/fc73daa43d6919fd2c952d59ab312dfa.jpg) Date: 2014-07-24 21:25:12
| | Computational Intelligence, Volume 000, Number 000, 0000 Propositional Dynamic Logic for Reasoning about First-Class Agent Interaction Protocols Tim Miller Department of Computer Science and Software Engineering,Add to Reading ListSource URL: people.eng.unimelb.edu.auDownload Document from Source Website File Size: 349,98 KBShare Document on Facebook
|