Seminár 17. 1. 2017 o 9:30 v zasadačke č. 102
Comments Off on Seminár 17. 1. 2017 o 9:30 v zasadačke č. 102
17/01/2017 @ 9:30 am – 10:30 am –
Prednášajúci:
Marek Košta (Real Quantifier Elimination)