|
rdfs:label
|
"A proof theory for the language POOL / F.S. de Boer"
|
|
schema:name
|
"A proof theory for the language POOL"
|
|
schema:author
|
Centrum voor Wiskunde en Informatica (Amsterdam). Computer Science/Department of Software Technology
|
|
Boer, Frank Sipke de (1956-)
|
|
schema:sameAs
|
<http://www.worldcat.org/oclc/65554282>
|
|
schema:mainEntityOfPage
|
<https://data.bibliotheken.nl/.well-known/genid/2f88d002654e17a9b23a0c42d372a6a2>
|
|
http://purl.org/dc/terms#issued
|
"1991"
|
|
schema:about
|
programmeertalen
|
|
schema:inLanguage
|
"en"
|
|
schema:isPartOf
|
Report / Department of Computer Science
|
|
schema:numberOfPages
|
73
|
|
schema:publication
|
<https://data.bibliotheken.nl/.well-known/genid/58ffa76234383be02ae153ffd23da57e>
|