%0 Conference Paper %1 conf/mkm/HerasPR09 %A Heras, Jónathan %A Pascual, Vico %A Rubio, Julio %B Calculemus/MKM %D 2009 %E Carette, Jacques %E Dixon, Lucas %E Coen, Claudio Sacerdoti %E Watt, Stephen M. %I Springer %K dblp %P 467-473 %T Using Open Mathematical Documents to Interface Computer Algebra and Proof Assistant Systems. %U http://dblp.uni-trier.de/db/conf/mkm/mkm2009.html#HerasPR09 %V 5625 %@ 978-3-642-02613-3

@inproceedings{conf/mkm/HerasPR09, added-at = {2020-11-17T00:00:00.000+0100}, author = {Heras, Jónathan and Pascual, Vico and Rubio, Julio}, biburl = {https://www.bibsonomy.org/bibtex/21b139db4c26316192a1c20baff4c27f1/dblp}, booktitle = {Calculemus/MKM}, crossref = {conf/mkm/2009}, editor = {Carette, Jacques and Dixon, Lucas and Coen, Claudio Sacerdoti and Watt, Stephen M.}, ee = {https://doi.org/10.1007/978-3-642-02614-0_37}, interhash = {c9dea46735bc15fe8bb2ccdedeb076a2}, intrahash = {1b139db4c26316192a1c20baff4c27f1}, isbn = {978-3-642-02613-3}, keywords = {dblp}, pages = {467-473}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-11-19T11:39:23.000+0100}, title = {Using Open Mathematical Documents to Interface Computer Algebra and Proof Assistant Systems.}, url = {http://dblp.uni-trier.de/db/conf/mkm/mkm2009.html#HerasPR09}, volume = 5625, year = 2009 }