Matches in DBpedia 2015-10 for { <http://doi.org/10.1007/978-3-642-22993-0_30> ?p ?o }
Showing triples 1 to 13 of
13
with 100 triples per page.
- 978-3-642-22993-0_30 chapter "Satisfiability of Systems of Equations of Real Analytic Functions Is Quasi-decidable".
- 978-3-642-22993-0_30 doi "10.1007/978-3-642-22993-0_30".
- 978-3-642-22993-0_30 first "Peter".
- 978-3-642-22993-0_30 first2 "Stefan".
- 978-3-642-22993-0_30 first3 "Piotr".
- 978-3-642-22993-0_30 isCitedBy Tarskis_exponential_function_problem.
- 978-3-642-22993-0_30 last "Franek".
- 978-3-642-22993-0_30 last2 "Ratschan".
- 978-3-642-22993-0_30 last3 "Zgliczynski".
- 978-3-642-22993-0_30 publisher "Springer".
- 978-3-642-22993-0_30 series "LNCS".
- 978-3-642-22993-0_30 volume "6907".
- 978-3-642-22993-0_30 year "2011".