Number of the records: 1
Non-Linear Real Arithmetic with Transcendental Function Symbols: Undecidable but Easy? Keynote Speaker
SYS 0560723 LBL 01000a^^22220027750^450 005 20231122150742.6 017 $2 DOI 100 $a 20220906d m y slo 03 ba 101 $a eng 200 1-
$a Non-Linear Real Arithmetic with Transcendental Function Symbols: Undecidable but Easy? Keynote Speaker 700 -1
$3 cav_un_auth*0218448 $a Ratschan $b Stefan $p UIVT-O $i Oddělení výpočetní matematiky $j Department of Computational Mathematics $w Department of Computational Mathematics $y AT $T Ústav informatiky AV ČR, v. v. i.
Number of the records: 1