Processor propositiecalculus voor Automath

N.G. Bruijn, de

Onderzoeksoutput: Boek/rapportRapportPopulair

25 Downloads (Pure)
Originele taal-2Nederlands
Plaats van productieEindhoven
UitgeverijTechnische Hogeschool Eindhoven
Aantal pagina's12
StatusGepubliceerd - 1968

Citeer dit