Počet záznamů: 1
Satisfiability of Systems of Equations of Real Analytic Functions is Quasi-decidable
SYS 0368130 LBL 01554^^^^^2200217^^^450 005 20240103195928.7 014 $a 000310341100030 $2 WOS 014 $a 80052134962 $2 SCOPUS 017 7-
$a 10.1007/978-3-642-22993-0_30 $2 DOI 100 $a 20111130d m y slo 03 ba 101 0-
$a eng 102 $a DE 200 1-
$a Satisfiability of Systems of Equations of Real Analytic Functions is Quasi-decidable 215 $a 12 s. 463 -1
$1 001 cav_un_epca*0368129 $1 010 $a 978-3-642-22992-3 $1 011 $a 0302-9743 $1 200 1 $a Mathematical Foundations of Computer Science 2011 $v S. 315-326 $1 210 $a Berlin $c Springer $d 2011 $1 225 $a Lecture Notes in Computer Science $v 6907 $1 702 1 $a Murlak $b F. $4 340 $1 702 1 $a Sankowski $b P. $4 340 610 0-
$a decidability 610 0-
$a logical theories 610 0-
$a real numbers 700 -1
$3 cav_un_auth*0283212 $a Franek $b Peter $i Oddělení výpočetních metod $j Department of Computational Methods $p UIVT-O $w Department of Computational Mathematics $4 070 $T Ústav informatiky AV ČR, v. v. i. 701 -1
$3 cav_un_auth*0218448 $a Ratschan $b Stefan $i Oddělení výpočetních metod $j Department of Computational Methods $p UIVT-O $w Department of Computational Mathematics $4 070 $T Ústav informatiky AV ČR, v. v. i. 701 -1
$3 cav_un_auth*0276672 $a Zgliczynski $b P. $y PL
Počet záznamů: 1