Home
SPARQL
Equational constructor induction / I. Bethke, P.H. Rodenburg
<http:/
/
data.bibliotheken.nl/
id/
nbt/
p102638136>
schema:
Book
schema:
CreativeWork
schema:
ProductModel
rdfs:
label
"Equational constructor induction / I. Bethke, P.H. Rodenburg"
schema:
name
"Equational constructor induction"
schema:
author
Bethke, Ingemarie
Vakgroep Programmatuur (Amsterdam)
schema:
contributor
Rodenburg, Pieter Hendrik
schema:
same
As
<http:/
/
www.worldcat.org/
oclc/
65873056>
schema:
main
Entity
Of
Page
<https:/
/
data.bibliotheken.nl/
.well-
known/
genid/
35d83af47fc10a6514b8ee420a7274eb>
http:/
/
purl.org/
dc/
terms#
issued
"1992"
schema:
about
computerwiskunde
schema:
in
Language
"en"
schema:
is
Part
Of
Reports of the Programming Research Group, University of Amsterdam
schema:
number
Of
Pages
17
schema:
publication
<https:/
/
data.bibliotheken.nl/
.well-
known/
genid/
9039217fa23de1c6088a1fa4fd95fc50>
Download as:
RDF/XML
JSON-LD
Turtle
data from SPARQL endpoint:
https://api.bibliotheken.nl/datasets/KB/Production/services/Production-VTS/sparql