%0 Conference Paper %1 conf/aisc/AransayBR04 %A Aransay, Jesús %A Ballarin, Clemens %A Rubio, Julio %B AISC %D 2004 %E Buchberger, Bruno %E Campbell, John A. %I Springer %K dblp %P 222-235 %T Four Approaches to Automated Reasoning with Differential Algebraic Structures. %U http://dblp.uni-trier.de/db/conf/aisc/aisc2004.html#AransayBR04 %V 3249 %@ 3-540-23212-5

@inproceedings{conf/aisc/AransayBR04, added-at = {2020-11-17T00:00:00.000+0100}, author = {Aransay, Jesús and Ballarin, Clemens and Rubio, Julio}, biburl = {https://www.bibsonomy.org/bibtex/255588b78fa424be5ca3c376a4d7479fc/dblp}, booktitle = {AISC}, crossref = {conf/aisc/2004}, editor = {Buchberger, Bruno and Campbell, John A.}, ee = {https://doi.org/10.1007/978-3-540-30210-0_19}, interhash = {f677da5778c977921dc9b0ab4db7615d}, intrahash = {55588b78fa424be5ca3c376a4d7479fc}, isbn = {3-540-23212-5}, keywords = {dblp}, pages = {222-235}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-11-19T11:38:08.000+0100}, title = {Four Approaches to Automated Reasoning with Differential Algebraic Structures.}, url = {http://dblp.uni-trier.de/db/conf/aisc/aisc2004.html#AransayBR04}, volume = 3249, year = 2004 }