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

data from the linked data cloud