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

4 Citations (Scopus)
130 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