The language theory of automath /

Uložené v:
Podrobná bibliografia
Hlavný autor: Daalen, Diederik Ton van (Autor)
Médium: Kniha
Jazyk:Czech
Vydavateľské údaje: Eindhoven : Technische Hogeschool, 1980
Edícia:rz1
On-line prístup: Získať plný text
Tagy: Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!

MARC

LEADER 00000cam a2200000 4500
003 SK-BrCVT
005 20220618091057.0
008 091106s1980 cs e ||||||cze d
035 |a CVTIDWR038571 
040 |a    |b slo  |c    |d   
041 0 |a cze 
044 |a cs 
100 |a Daalen, Diederik Ton van  |4 aut 
245 1 4 |a The language theory of automath /  |c Diederik Ton van Daalen 
260 3 |a Eindhoven :  |b Technische Hogeschool,  |c 1980 
300 |a 309 s. 
830 |a rz1 
974 |f Knihy 
999 |c 215124  |d 215124