Dechesne, F., & Nederpelt, R. (2012). N. G. de Bruijn (1918 - 2012) and his road to automath, the earliest proof checker.
Chicago-Zitierstil (17. Ausg.)Dechesne, Francien, und Rob Nederpelt. N. G. De Bruijn (1918 - 2012) and His Road to Automath, the Earliest Proof Checker. 2012.
MLA-Zitierstil (9. Ausg.)Dechesne, Francien, und Rob Nederpelt. N. G. De Bruijn (1918 - 2012) and His Road to Automath, the Earliest Proof Checker. 2012.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.