Automath

<http://data.bibliotheken.nl/id/thes/p078441323>

skos:Concept
skos:prefLabel
"Automath"@en
schema:mainEntityOfPage <http://data.bibliotheken.nl/doc/thes/p078441323>
<https://koninklijkebibliotheek.triply.cc/.well-known/genid/c75dbb28c96addb911f1fa1540450b2a>
skos:editorialNote "Diederik Ton van Daalen / The language theory of Automath"@nl
skos:inScheme <http://data.bibliotheken.nl/id/scheme/gtt>

Inverse relations

[ .. ] → schema:about → Automath

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 Daalenschema:ProductModel The language theory of Automath / [by] Diederik Ton van Daalenschema:ProductModel
Download as:
RDF/XML JSON-LD Turtle
data from SPARQL endpoint: https://api.bibliotheken.nl/datasets/KB/Production/services/Production-VTS/sparql