Datum prijs | 30 nov. 2002 |
---|---|
Originele taal | Engels |
Begeleider | Rob Nederpelt (Afstudeerdocent 1) |
A computer assistant for a formal mathematical language : the construction of a user friendly assistant program to enter, check, store and view Weak Type Theory descriptions
Scriptie/Masterproef: Master