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)
Till sidans topp