Home
SPARQL
Selected papers on Automath / ed. by R.P. Nederpelt, J.H. Geuvers, R.C. de Vrijer ; with the assistance of L.S. van Benthem Jutting, D.T. van Daalen
<http:/
/
data.bibliotheken.nl/
id/
nbt/
p122262670>
schema:
ProductModel
schema:
Book
schema:
CreativeWork
rdfs:
label
"Selected papers on Automath / ed. by R.P. Nederpelt, J.H. Geuvers, R.C. de Vrijer ; with the assistance of L.S. van Benthem Jutting, D.T. van Daalen"
schema:
name
"Selected papers on Automath"
schema:
contributor
Geuvers, Jan Herman (1964-)
Benthem Jutting, L.S. van
Nederpelt, R.P. (1942-)
schema:
same
As
<http:/
/
www.worldcat.org/
oclc/
782174366>
schema:
main
Entity
Of
Page
<https:/
/
data.bibliotheken.nl/
.well-
known/
genid/
988ef1126d5f418e417d8e9fc4d6f350>
http:/
/
purl.org/
dc/
terms#
issued
"1994"
schema:
about
Wiskunde
Automath
<http:/
/
data.bibliotheken.nl/
id/
thes/
p077601939>
wiskunde
<http:/
/
data.bibliotheken.nl/
id/
thes/
p077601874>
Taal
Combinatorische logica
programmeertalen
Logica
schema:
associated
Media
<http:/
/
bvbr.bib-
bvb.de:8991/
F?func=service&doc_library=BVB01&doc_number=006700789&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA>
schema:
in
Language
"en"
schema:
is
Part
Of
Studies in logic and the foundations of mathematics / ed. J. Barwise ... [et al.]
schema:
isbn
"0444898220"
schema:
number
Of
Pages
1024
schema:
publication
<https:/
/
data.bibliotheken.nl/
.well-
known/
genid/
816d133f746fe73d3d56c49e56b141b3>
Download as:
RDF/XML
JSON-LD
Turtle
data from SPARQL endpoint:
https://api.bibliotheken.nl/datasets/KB/Production/services/Production-VTS/sparql