Dynamic modal predicate logic / D.J.N. van Eijck, G. Cepparello

<http://data.bibliotheken.nl/id/nbt/p100259510>

schema:ProductModel schema:CreativeWork schema:Book
rdfs:label "Dynamic modal predicate logic / D.J.N. van Eijck, G. Cepparello"
schema:name "Dynamic modal predicate logic"
schema:author Eijck, Dingeman Johannes Norbertus van (1951-)
Centrum voor Wiskunde en Informatica (Amsterdam). Computer Science/Department of Software Technology
schema:contributor Cepparello, Giovanna
schema:sameAs <http://www.worldcat.org/oclc/906616522>
schema:mainEntityOfPage <https://data.bibliotheken.nl/.well-known/genid/497894cf1d19c7f99b5cd092a1e08038>
http://purl.org/dc/terms#issued "1992"
schema:about programmeertalen
semantiek
wiskundige logica
schema:inLanguage "en"
schema:isPartOf Report / Department of Computer Science
schema:numberOfPages 19
schema:publication <https://data.bibliotheken.nl/.well-known/genid/96689e2ccd635e630dce989b389cef0b>
Download as:
RDF/XML JSON-LD Turtle
data from SPARQL endpoint: https://api.bibliotheken.nl/datasets/KB/Production/services/Production-VTS/sparql