Reasoning about update logic / D.J.N. van Eijck, F.-J. de Vries

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

schema:CreativeWork schema:Book schema:ProductModel
rdfs:label "Reasoning about update logic / D.J.N. van Eijck, F.-J. de Vries"
schema:name "Reasoning about update logic"
schema:author Eijck, Dingeman Johannes Norbertus van (1951-)
Centrum voor Wiskunde en Informatica (Amsterdam). Computer Science/Department of Software Technology
schema:contributor Vries, Ferdinand Jan de (1956-)
schema:sameAs <http://www.worldcat.org/oclc/906658926>
schema:mainEntityOfPage <https://data.bibliotheken.nl/.well-known/genid/c59b4617c3721de8910fced35626cd53>
http://purl.org/dc/terms#issued "1993"
schema:about semantiek
wiskundige logica
programmeertalen
schema:inLanguage "en"
schema:isPartOf Report / Department of Computer Science
schema:numberOfPages 18
schema:publication <https://data.bibliotheken.nl/.well-known/genid/d893494b7354ff059d3c67ddab4c0153>
Download as:
RDF/XML JSON-LD Turtle
data from SPARQL endpoint: https://api.bibliotheken.nl/datasets/KB/Production/services/Production-VTS/sparql