N.G. de Bruijn (1918–2012) and his road to Automath, the earliest proof checker

F. Dechesne, R.P. Nederpelt

    Research output: Contribution to journalArticleProfessional

    5 Citations (Scopus)
    184 Downloads (Pure)

    Abstract

    No abstract.
    Original languageEnglish
    Pages (from-to)4-11
    JournalThe Mathematical Intelligencer
    Volume34
    Issue number4
    DOIs
    Publication statusPublished - 2012

    Fingerprint

    Dive into the research topics of 'N.G. de Bruijn (1918–2012) and his road to Automath, the earliest proof checker'. Together they form a unique fingerprint.

    Cite this