Automath : ein Projekt zur Kontrolle vom Mathematik

N.G. Bruijn, de

Onderzoeksoutput: Boek/rapportRapportPopulair

44 Downloads (Pure)
Originele taal-2Duits
Uitgeverijs.n.
StatusGepubliceerd - 1974

Bibliografische nota

Voordracht gehouden op de Innsbrucker Mathematikertag 1974
Translation by B. Roider of 'The AUTOMATH Mathematics Checking Project'

Citeer dit