Toggle navigation
PDFSEARCH.IO
Document Search Engine - browse more than 18 million documents
Sign up
Sign in
Back to Results
First Page
Meta Content
View Document Preview and Link
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 List
Document Date: 2014-07-24 21:25:12
Open Document
File Size: 349,98 KB
Share Result on Facebook
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,