%0 Conference Proceedings %1 ontheintegrationofsymboliccomputation2009intelligent %A Carette, Jacques %A Dixon, Lucas %A Coen, Claudio Sacerdoti %A Watt, Stephen M. %C Berlin; Heidelberg %D 2009 %I Springer %K mkm %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://link.springer.com/book/10.1007/978-3-642-02614-0/page/1 %V 5625 %@ 9783642026140 3642026141

@proceedings{ontheintegrationofsymboliccomputation2009intelligent, added-at = {2013-07-09T19:59:05.000+0200}, address = { Berlin; Heidelberg}, author = {Carette, Jacques and Dixon, Lucas and Coen, Claudio Sacerdoti and Watt, Stephen M.}, biburl = {https://www.bibsonomy.org/bibtex/24b81da31da9f368b088fb1d1beb9a0a4/pitman}, description = {Intelligent Computer Mathematics - Springer}, interhash = {76cfdd79ef528292e6c37b05e9a28bbf}, intrahash = {4b81da31da9f368b088fb1d1beb9a0a4}, isbn = {9783642026140 3642026141}, keywords = {mkm}, publisher = {Springer }, refid = {690566740}, timestamp = {2013-07-09T19:59:05.000+0200}, 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://link.springer.com/book/10.1007/978-3-642-02614-0/page/1}, volume = 5625, year = 2009 }