Proving $SN\sp \infty$ automatically

  • F.F.J. Hermans

Scriptie/masterproef: Master

Uittreksel

Datum Prijs31 okt 2008
TaalEngels
BegeleiderHans Zantema (Afstudeerdocent 1)

Citeer dit

Proving $SN\sp \infty$ automatically
Hermans, F. F. J. (Auteur). 31 okt 2008

Scriptie/masterproef: Master