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

Datum prijs30 nov. 2002
Originele taalEngels
BegeleiderRob Nederpelt (Afstudeerdocent 1)

Citeer dit

'