AUT016 | All material (C)opyright
2004 - The Automath Archive, Eindhoven University of Technology |
Title: | Verificatie van Wiskundige Bewijzen |
Subtitle: | Een voorstudie ten behoeve van het project AUTOMATH |
Author: | N.G. de Bruijn |
Presented at: | Colloquium of the Department of Mathematics |
Publishing date: | January 1967 |
Publishing location: | Department of Mathematics, Eindhoven University of Technology |
Pages: | 16 |
Language: | Dutch |
Note: | Also published (translated into English) in Selected Papers on Automath, Studies in Logic and the Foundations of Mathematics, Vol. 133, Ed. R.P. Nederpelt, J.H. Geuvers and R.C. de Vrijer, chapter A1, pp. 57-72. |
Browse: | Click here to browse a webversion of this article |
Download this article: | FAX-TIFF format, zip compressed |
FAX-TIFF format, tar compressed | |
PDF version | |
JPG version |