A proof theory for process creation / P.H.M. America, F.S. de Boer

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

schema:CreativeWork schema:ProductModel schema:Book
rdfs:label "A proof theory for process creation / P.H.M. America, F.S. de Boer"
schema:name "A proof theory for process creation"
schema:author Centrum voor Wiskunde en Informatica (Amsterdam). Computer Science/Department of Software Technology
America, Petrus Hubertus Maria (1959-)
schema:contributor Boer, Frank Sipke de (1956-)
schema:sameAs <http://www.worldcat.org/oclc/65554402>
schema:mainEntityOfPage <https://data.bibliotheken.nl/.well-known/genid/59908f65063ad1d3d17a0301b4ba8cb7>
http://purl.org/dc/terms#issued "1991"
schema:about programmeertalen
schema:inLanguage "en"
schema:isPartOf Report / Department of Computer Science
schema:numberOfPages 84
schema:publication <https://data.bibliotheken.nl/.well-known/genid/28c4b7ac33e25f8c6fd4bab612ae7f15>
Download as:
RDF/XML JSON-LD Turtle
data from SPARQL endpoint: https://api.bibliotheken.nl/datasets/KB/Production/services/Production-VTS/sparql