Toward a model theory of actions: How agents do it in branching time
No Thumbnail Available
Date
1996
Authors
Advisors
Journal Title
Series/Report No.
TR-96-17
Technical report (North Carolina State University. Dept. of Computer Science)
Technical report (North Carolina State University. Dept. of Computer Science)
Journal ISSN
Volume Title
Publisher
North Carolina State University. Dept. of Computer Science