Dynamic logic for reasoning about actions and agents / John-Jules Meyer
| rdfs:label | "Dynamic logic for reasoning about actions and agents / John-Jules Meyer" |
| schema:name | "Dynamic logic for reasoning about actions and agents" |
| schema:author | Onderwijsinstituut CKI (Utrecht) |
| Meyer, John-Jules Charles (1954-) | |
|
schema:same |
<http:/ |
|
schema:main |
<https:/ |
|
http:/ |
"1999" |
| schema:about | wiskundige logica |
|
schema:in |
"en" |
|
schema:is |
Artificial intelligence : preprint series |
| schema:isbn | "9039323089" |
|
schema:number |
30 |
| schema:publication |
<https:/ |