Abstract
| Date of Award | 31 Aug 1999 |
|---|---|
| Language | English |
| Supervisor | Kees Hemerik (Supervisor 1) & J. Zwanenburg (Supervisor 2) |
Cite this
A graphical user interface for the proof assistant yarrow
Raijmakers, E. P. J. (Author). 31 Aug 1999
Student thesis: Master