Home
SPARQL
A proof theory for a sequential version of POOL / by Pierre America, Frank S. de Boer
<http:/
/
data.bibliotheken.nl/
id/
nbt/
p089442970>
schema:
CreativeWork
schema:
ProductModel
schema:
Book
rdfs:
label
"A proof theory for a sequential version of POOL / by Pierre America, Frank S. de Boer"
schema:
name
"A proof theory for a sequential version of POOL"
schema:
author
America, Petrus Hubertus Maria (1959-)
Department of Mathematics and Computing Science (Eindhoven ; 1986-....). Computing Science Section
schema:
contributor
Boer, Frank Sipke de (1956-)
schema:
same
As
<http:/
/
www.worldcat.org/
oclc/
65457577>
schema:
main
Entity
Of
Page
<https:/
/
data.bibliotheken.nl/
.well-
known/
genid/
6d251d272fa1ddf741b9e4bffb0c0875>
http:/
/
purl.org/
dc/
terms#
issued
"1990"
schema:
about
programmeertalen
schema:
in
Language
"en"
schema:
is
Part
Of
Computing science notes / Eindhoven University of Technology, Department of Mathematics and Computing Science, Computing Science Section
schema:
number
Of
Pages
108
schema:
publication
<https:/
/
data.bibliotheken.nl/
.well-
known/
genid/
5ed6937680dcadfff9088d9722e90856>
Download as:
RDF/XML
JSON-LD
Turtle
data from SPARQL endpoint:
https://api.bibliotheken.nl/datasets/KB/Production/services/Production-VTS/sparql