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)
    212 Downloads (Pure)

    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.

    Arts & Humanities