Working progress seminar 17. 1. 2017 at 9.30 in meeting room 102

      Comments Off on Working progress seminar 17. 1. 2017 at 9.30 in meeting room 102

Mgr. Marek Košta, PhD. (dep. DDDS): Real Quantifier Elimination
Abstract