Description of the language Automath

N.G. de Bruijn

Onderzoeksoutput: Boek/rapportRapportPopulair

41 Downloads (Pure)
Originele taal-2Engels
Plaats van productieEindhoven
UitgeverijTechnische Hogeschool Eindhoven
Aantal pagina's16
StatusGepubliceerd - 1967

Citeer dit