Number of the records: 1
Decidability from a Numerical Point of View
SYS 0459689 LBL 01000a^^22220027750^450 005 20240103212250.2 100 $a 20160531d m y slo 03 ba 101 $a eng 102 $a CH 200 1-
$a Decidability from a Numerical Point of View 215 $a 1 s. $c P 300 $a invited paper 463 -1
$1 001 cav_un_epca*0459688 $1 010 $a 978-3-319-32858-4 $1 011 $a 0302-9743 $1 200 1 $a Mathematical Aspects of Computer and Information Sciences $v XVI-XVI $1 210 $c Springer $d 2016 $1 225 $a Lecture Notes in Computer Science $v 9582 $1 702 1 $4 340 $a Kotsireas $b I.S. $1 702 1 $4 340 $a Rump $b S.M. $1 702 1 $4 340 $a Yao $b C.K. 610 0-
$a decidability 610 0-
$a numerical computation 700 -1
$3 cav_un_auth*0218448 $a Ratschan $b Stefan $p UIVT-O $i Oddělení optimalizace a systémů $j Department of Optimization and Systems $w Department of Computational Mathematics $T Ústav informatiky AV ČR, v. v. i. 856 $u http://macis2015.zib.de/invited.html
Number of the records: 1