Automath : ein Projekt zur Kontrolle vom Mathematik

N.G. Bruijn, de

Research output: Book/ReportReportPopular

43 Downloads (Pure)
Original languageGerman
Publishers.n.
Publication statusPublished - 1974

Bibliographical note

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

Cite this