N.G. de Bruijn (1918-2012) and his road to automath, the earliest proof checker
Journal Article
(2013)
Research Group
Energy and Industry
To reference this document use:
https://resolver.tudelft.nl/uuid:ecc9d9ea-bd3b-4293-92f5-fe06f5c5ad86
More Info
expand_more
expand_more
Publication Year
2013
Language
English
Research Group
Energy and Industry
Bibliographical Note
Harvest@en
Issue number
4
Volume number
34
Pages (from-to)
4-8
No files available
Metadata only record. There are no files for this record.