-
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
-
Link To Document :
