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

F Dechesne; R Nederpelt

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

F Dechesne, R Nederpelt

Energy & Industry

Research output: Contribution to journal › Article › Scientific › peer-review

Original language	English
Pages (from-to)	4-8
Number of pages	5
Journal	The Mathematical Intelligencer
Volume	34
Issue number	4
Publication status	Published - 2013

Access to Document

http://download.springer.com/static/pdf/996/art%253A10.1007%252Fs00283-012-9324-x.pdf?auth66=1360944222_a5ff31177e55b6cae0f2df5693956d5f&ext=.pdf

Cite this

@article{ecc9d9eabd3b429392f5fe06f5c5ad86,

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

author = "F Dechesne and R Nederpelt",

note = "Harvest",

year = "2013",

language = "English",

volume = "34",

pages = "4--8",

journal = "The Mathematical Intelligencer",

issn = "0343-6993",

publisher = "Springer",

number = "4",

}

TY - JOUR

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

AU - Dechesne, F

AU - Nederpelt, R

N1 - Harvest

PY - 2013

Y1 - 2013

UR - http://download.springer.com/static/pdf/996/art%253A10.1007%252Fs00283-012-9324-x.pdf?auth66=1360944222_a5ff31177e55b6cae0f2df5693956d5f&ext=.pdf

M3 - Article

VL - 34

SP - 4

EP - 8

JO - The Mathematical Intelligencer

JF - The Mathematical Intelligencer

SN - 0343-6993

IS - 4

ER -