Dynamic logic for reasoning about actions and agents / John-Jules Meyer
type: Book
type: CreativeWork
type: ProductModel
issued: 1999
about: p075665506
author: p07139656X
author: p185456138
language: en
is part of: p182590003
isbn: 9039323089
main entity of page: https://data.bibliotheken.nl/.well-known/genid/f0dce9fd35989f5804a1fba8313ea5d6
name: Dynamic logic for reasoning about actions and agents
number of pages: 30