Aagaard, Mark, 1966-....
Aagaard, Mark D. 1966-
Aagaard, Mark
Mark Aagaard Narozen 22.11.1966. Logik.
Aagaard, Mark D
VIAF ID: 106460750 ( Personal )
Permalink: http://viaf.org/viaf/106460750
Preferred Forms
-
-
- 100 1 _ ‡a Aagaard, Mark (sparse)
-
-
-
- 100 1 _ ‡a Aagaard, Mark D. ‡d 1966-
- 100 1 _ ‡a Aagaard, Mark ‡d 1966-
-
- 100 1 _ ‡a Aagaard, Mark, ‡d 1966-
-
-
- 100 1 _ ‡a Aagaard, Mark, ‡d 1966-....
- 100 0 _ ‡a Mark Aagaard ‡c Narozen 22.11.1966. Logik.
4xx's: Alternate Name Forms (5)
Works
Title | Sources |
---|---|
form : | |
Formal methods in computer-aided design : 4th international conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002 : proceedings | |
Theorem proving in higher order logics : 13th International Conference, TPHOLs 2000, Portland, OR, USA, August 14-18, 2000 : proceedings | |
Window memoization for edge detection algorithms |