RecordNumber
803
CallNo
803A
Author
Dechesne, Francien
Crop_Body
Francien Dechesn and Rob Nederpelt
Title of Article
N. G. de Bruijn (1918- 2012) and his road to automach, the earliest proof checker
Title Of Periodical
the mathematical intelligencer
PublishInfo
New York :springer ،2012
Volum
34
SerialNumber
4
Page
4-11