Skip to main navigation Skip to search Skip to main content

Automath : ein Projekt zur Kontrolle vom Mathematik

  • N.G. Bruijn, de

Research output: Book/Report › Report › Popular

96 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'

Access to Document

  • 597915Final published version, 732 KB

    Cite this