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

  • R.W.J. Körvers

Scriptie/masterproef: Master

Uittreksel

Datum Prijs30 nov 2002
TaalEngels
BegeleiderRob Nederpelt (Afstudeerdocent 1)

Citeer dit

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
Körvers, R. W. J. (Auteur). 30 nov 2002

Scriptie/masterproef: Master