The language theory of Automath / [by] Diederik Ton van Daalen
http://data.bibliotheken.nl/id/nbt/p800855221 an entity of type: CreativeWork
The language theory of Automath / [by] Diederik Ton van Daalen
Proefschrift Eindhoven
en
The language theory of Automath
xsd:integer
309
blank nodes
xsd:gYear
1980