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

Mgr. Marek Košta, PhD. (odd. DDDS): Real Quantifier Elimination
Abstrakt