Daalen, Diederik T. van
Van Daalen, Diederik T., 19..-....
Daalen, Diederik Ton van, 1949-
Diederik van Daalen matemàtic neerlandès
VIAF ID: 24738075 (Personal)
Permalink: http://viaf.org/viaf/24738075
Preferred Forms
4xx's: Alternate Name Forms (3)
Works
Title | Sources |
---|---|
The language theory of automath | |
Selected papers on Automath |