Košík

0560723 - ÚI 2023 eng A3 - Přednáška/prezentace nepublikovaná
Ratschan, Stefan
Non-Linear Real Arithmetic with Transcendental Function Symbols: Undecidable but Easy? Keynote Speaker.
[International Workshop on Satisfiability Checking and Symbolic Computation /7./. Haifa, 12.08.2022-12.08.2022]
Způsob prezentace: Zvaná přednáška
URL akce: http://www.sc-square.org/CSA/workshop7.html 
Institucionální podpora: RVO:67985807
Trvalý link: https://hdl.handle.net/11104/0333576