Foto's

Infima
(Na het geven van een bewijs tijdens Algorithms for Model Checking)
Tim Willemse: "I do this with handwaving, but you can compute this with less handwaving."

Bezoek het infima archief of stuur infima in.

Contact informatie
Studievereniging GEWIS
MF 3.155
Postbus 513
5600 MB Eindhoven
Tel: +31 (0)40 247 2815
Fax: +31 (0)40 243 6685
E-mail: bestuur@gewis.nl

Foto's

Je moet ingelogd zijn om meer informatie te zien.