%0 Conference Paper %1 conf/aisc/HerasPR08 %A Heras, Jónathan %A Pascual, Vico %A Rubio, Julio %B AISC/MKM/Calculemus %D 2008 %E Autexier, Serge %E Campbell, John A. %E Rubio, Julio %E Sorge, Volker %E Suzuki, Masakazu %E Wiedijk, Freek %I Springer %K dblp %P 446-461 %T Mediated Access to Symbolic Computation Systems. %U http://dblp.uni-trier.de/db/conf/aisc/aisc2008.html#HerasPR08 %V 5144 %@ 978-3-540-85109-7

@inproceedings{conf/aisc/HerasPR08, 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/26dea257f1a2838d28887616f5fee08f8/dblp}, booktitle = {AISC/MKM/Calculemus}, crossref = {conf/aisc/2008}, editor = {Autexier, Serge and Campbell, John A. and Rubio, Julio and Sorge, Volker and Suzuki, Masakazu and Wiedijk, Freek}, ee = {https://doi.org/10.1007/978-3-540-85110-3_37}, interhash = {5127e37b9e49ffdacd09463011d4abb8}, intrahash = {6dea257f1a2838d28887616f5fee08f8}, isbn = {978-3-540-85109-7}, keywords = {dblp}, pages = {446-461}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T01:38:58.000+0200}, title = {Mediated Access to Symbolic Computation Systems.}, url = {http://dblp.uni-trier.de/db/conf/aisc/aisc2008.html#HerasPR08}, volume = 5144, year = 2008 }