Seminarium, Teoretisk datalogi
Må 23 april - Sö 29 april
-
Seminarium, Teoretisk datalogi
måndag 2018-04-23, 12.00
Medverkande: Daniela Ritirc, Johannes Kepler Universität Linz
Plats: Room 4523, Lindstedtsvägen 5, KTH
2018-04-23T12:00:00.000+02:00 2018-04-23T12:00:00.000+02:00 Daniela Ritirc: On the problem of arithmetic circuit verification using computer algebra (Seminarium, Teoretisk datalogi) Room 4523, Lindstedtsvägen 5, KTH (KTH, Stockholm, Sweden)Daniela Ritirc: On the problem of arithmetic circuit verification using computer algebra (Seminarium, Teoretisk datalogi)