Seminarium, Teoretisk datalogi
| Mån | Tis | Ons | Tor | Fre | Lör | Sön | |
|---|---|---|---|---|---|---|---|
| v13 | 1 | ||||||
| v14 | 2 | 3 | 4 | 5 | 6 | 7 | 8 |
| v15 | 9 | 10 | 11 | 12 | 13 | 14 | 15 |
| v16 | 16 | 17 | 18 | 19 | 20 | 21 | 22 |
| v17 | 23 | 24 | 25 | 26 | 27 | 28 | 29 |
| v18 | 30 |
Lö 21 april - Må 30 april
23
april
måndag,
12:00
Seminarium, Teoretisk datalogi
Daniela Ritirc: On the problem of arithmetic circuit verification using computer algebra
Föreläsare: Daniela Ritirc, Johannes Kepler Universität Linz
Plats: Room 4523, Lindstedtsvägen 5, KTH
2018-04-23T12:00
2018-04-23T12:00
Daniela Ritirc: On the problem of arithmetic circuit verification using computer algebra (Seminarium, Teoretisk datalogi)
Daniela Ritirc: On the problem of arithmetic circuit verification using computer algebra (Seminarium, Teoretisk datalogi)
