Počet záznamů: 1
Satisfiability of Systems of Equations of Real Analytic Functions is Quasi-decidable
- 1.FRANEK, P., RATSCHAN, S., ZGLICZYNSKI, P. Satisfiability of Systems of Equations of Real Analytic Functions is Quasi-decidable. In: MURLAK, F., SANKOWSKI, P., eds. Mathematical Foundations of Computer Science 2011. Berlin: Springer, 2011, s. 315-326. Lecture Notes in Computer Science, 6907. ISBN 978-3-642-22992-3. ISSN 0302-9743. Dostupné z: https://doi.org/10.1007/978-3-642-22993-0_30
Počet záznamů: 1