|
rdfs:label
|
"Recursive program schemes : semantics and proof theory / W.P. de Roever, Jr"
|
|
schema:name
|
"Recursive program schemes : semantics and proof theory"
|
|
schema:author
|
Roever, Willem Paul de (1943-)
|
|
schema:description
|
"Eerder verschenen als proefschrift Amsterdam, V.U., 1974"
|
|
schema:sameAs
|
<http://www.worldcat.org/oclc/902062888>
|
|
schema:mainEntityOfPage
|
<https://data.bibliotheken.nl/.well-known/genid/241e17c66abe60d4d0a7e09c32fb7fad>
|
|
http://purl.org/dc/terms#issued
|
"1976"
|
|
schema:associatedMedia
|
<http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&doc_number=002905458&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA>
|
|
<http://www.gbv.de/dms/hbz/toc/ht000972736.pdf>
|
|
<http://bvbm2.bib-bvb.de:8993/F?func=service&doc_library=BVB01&doc_number=002905458&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA>
|
|
schema:inLanguage
|
"en"
|
|
schema:isPartOf
|
Mathematical Centre tracts
|
|
schema:isbn
|
"9061961270"
|
|
schema:numberOfPages
|
112
|
|
schema:publication
|
<https://data.bibliotheken.nl/.well-known/genid/512464ccd24478f858bff18ff7acb537>
|