%0 Conference Proceedings %1 conf/mkm/2009 %B Calculemus/MKM %D 2009 %E Carette, Jacques %E Dixon, Lucas %E Coen, Claudio Sacerdoti %E Watt, Stephen M. %I Springer %K dblp %T Intelligent Computer Mathematics, 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Held as Part of CICM 2009, Grand Bend, Canada, July 6-12, 2009. Proceedings %U http://dblp.uni-trier.de/db/conf/mkm/mkm2009.html %V 5625 %@ 978-3-642-02613-3

@proceedings{conf/mkm/2009, added-at = {2019-06-02T00:00:00.000+0200}, biburl = {https://www.bibsonomy.org/bibtex/22cc7f6c8e0a72fce27d24e611d627b05/dblp}, booktitle = {Calculemus/MKM}, editor = {Carette, Jacques and Dixon, Lucas and Coen, Claudio Sacerdoti and Watt, Stephen M.}, ee = {https://www.wikidata.org/entity/Q60712739}, interhash = {76cfdd79ef528292e6c37b05e9a28bbf}, intrahash = {2cc7f6c8e0a72fce27d24e611d627b05}, isbn = {978-3-642-02613-3}, keywords = {dblp}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-11-21T11:38:02.000+0100}, title = {Intelligent Computer Mathematics, 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Held as Part of CICM 2009, Grand Bend, Canada, July 6-12, 2009. Proceedings}, url = {http://dblp.uni-trier.de/db/conf/mkm/mkm2009.html}, volume = 5625, year = 2009 }