Automath in historisch perspectief Herman Geuvers Radboud Universiteit Nijmegen - De Bruijn - Document - PDFSEARCH.IO

First Page	Meta Content
	Automath in historisch perspectief Herman Geuvers Radboud Universiteit Nijmegen & Technische Universiteit Eindhoven Symposium ter ere van de 90ste verjaardag van N.G. de Bruijn Technische Universiteit Eindhoven 5 septemb Add to Reading List Document Date: 2008-09-05 18:00:56 Open Document File Size: 728,97 KB Share Result on Facebook

Automath in historisch perspectief Herman Geuvers Radboud Universiteit Nijmegen & Technische Universiteit Eindhoven Symposium ter ere van de 90ste verjaardag van N.G. de Bruijn Technische Universiteit Eindhoven 5 septembAdd to Reading List