Mgr. Marek Košta, PhD. (dep. DDDS): Real Quantifier Elimination
Abstract
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