N.G. de Bruijn (1918-2012) and his Road to Automath, the Earliest Proof Checker.
| Autor: | Dechesne, Francien1, Nederpelt, Rob2 r.p.nederpelt@tue.nl |
|---|---|
| Zdroj: | Mathematical Intelligencer. Dec2012, Vol. 34 Issue 4, p4-11. 8p. |
| Databáze: | Academic Search Ultimate |
| Externí odkaz: |
|