Examensarbete
Fr 17 december
-
Examensarbete
fredag 2021-12-17, 10.00 - 11.00
Plats: Zoom: 683 3315 5216, contact arias@math.su.se to get the password
Respondent: Alice Stina Emilia Brolin
2021-12-17T10:00:00.000+01:00 2021-12-17T11:00:00.000+01:00 Alice Stina Emilia Brolin: Extracting Computational Content From Proofs (Examensarbete) Zoom: 683 3315 5216, contact arias@math.su.se to get the password (KTH, Stockholm, Sweden)Alice Stina Emilia Brolin: Extracting Computational Content From Proofs (Examensarbete)