Home
SPARQL
Clausification in Coq / M. Bezem, D. Hendriks
<http:/
/
data.bibliotheken.nl/
id/
nbt/
p174810040>
schema:
CreativeWork
schema:
Book
schema:
ProductModel
rdfs:
label
"Clausification in Coq / M. Bezem, D. Hendriks"
schema:
name
"Clausification in Coq"
schema:
author
Bezem, Marcus Aloysius (1956-)
Zeno Institute of Philosophy, The Leiden-Utrecht Research Institute
schema:
contributor
Logic Group (Utrecht)
Hendriks, Roger Dimitri Alexander (1973-)
schema:
same
As
<http:/
/
www.worldcat.org/
oclc/
67958540>
schema:
main
Entity
Of
Page
<https:/
/
data.bibliotheken.nl/
.well-
known/
genid/
f559c2505a24a388021e9b7368b07a9d>
http:/
/
purl.org/
dc/
terms#
issued
"1998"
schema:
about
wiskundige logica
schema:
in
Language
"en"
schema:
is
Part
Of
Logic Group preprint series / University of Utrecht, Department of Philosophy
schema:
isbn
"9039319782"
schema:
number
Of
Pages
12
schema:
publication
<https:/
/
data.bibliotheken.nl/
.well-
known/
genid/
24a236edc654f6bafb56cab346936b30>
Download as:
RDF/XML
JSON-LD
Turtle
data from SPARQL endpoint:
https://api.bibliotheken.nl/datasets/KB/Production/services/Production-VTS/sparql