%0 Conference Paper %1 conf/cade/MouraP13 %A de Moura, Leonardo Mendonça %A Passmore, Grant Olney %B CADE %D 2013 %E Bonacina, Maria Paola %I Springer %K dblp %P 178-192 %T Computation in Real Closed Infinitesimal and Transcendental Extensions of the Rationals. %U http://dblp.uni-trier.de/db/conf/cade/cade2013.html#MouraP13 %V 7898 %@ 978-3-642-38573-5

@inproceedings{conf/cade/MouraP13, added-at = {2017-05-21T00:00:00.000+0200}, author = {de Moura, Leonardo Mendonça and Passmore, Grant Olney}, biburl = {https://www.bibsonomy.org/bibtex/20186bbf575cda83701217a3914d7da4d/dblp}, booktitle = {CADE}, crossref = {conf/cade/2013}, editor = {Bonacina, Maria Paola}, ee = {https://doi.org/10.1007/978-3-642-38574-2_12}, interhash = {aedab048ac12b8a8d529e91e163ad0fa}, intrahash = {0186bbf575cda83701217a3914d7da4d}, isbn = {978-3-642-38573-5}, keywords = {dblp}, pages = {178-192}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T18:56:13.000+0200}, title = {Computation in Real Closed Infinitesimal and Transcendental Extensions of the Rationals.}, url = {http://dblp.uni-trier.de/db/conf/cade/cade2013.html#MouraP13}, volume = 7898, year = 2013 }