Automatically proving equality of infinite sequences

  • S. Roelofs

Scriptie/masterproef: Master

Uittreksel

Datum Prijs28 okt 2019
TaalEngels
BegeleiderHans Zantema (Afstudeerdocent 1)

Citeer dit

Automatically proving equality of infinite sequences
Roelofs, S. (Auteur). 28 okt 2019

Scriptie/masterproef: Master