Mgr. Marek Košta, PhD. (odd. DDDS): Real Quantifier Elimination
Abstrakt
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
Veda je budúcnosť: Vitajte na stránkach Ústavu informatiky Slovenskej akadémie vied, v. v. i., Bratislava