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

F Dechesne, R Nederpelt

Research output: Contribution to journalArticleScientificpeer-review

Original languageEnglish
Pages (from-to)4-8
Number of pages5
JournalThe Mathematical Intelligencer
Volume34
Issue number4
Publication statusPublished - 2013

Cite this