%0 Conference Paper %1 conf/aisc/CalmetC10 %A Calmet, Jacques %A Campbell, John A. %B AISC/MKM/Calculemus %D 2010 %E Autexier, Serge %E Calmet, Jacques %E Delahaye, David %E Ion, Patrick D. F. %E Rideau, Laurence %E Rioboo, Renaud %E Sexton, Alan P. %I Springer %K dblp %P 14-18 %T A Revisited Perspective on Symbolic Mathematical Computing and Artificial Intelligence. %U http://dblp.uni-trier.de/db/conf/aisc/aisc2010.html#CalmetC10 %V 6167 %@ 978-3-642-14127-0

@inproceedings{conf/aisc/CalmetC10, added-at = {2017-05-19T00:00:00.000+0200}, author = {Calmet, Jacques and Campbell, John A.}, biburl = {https://www.bibsonomy.org/bibtex/27b7b5fce17d0457d29a2c1b95ac39ef0/dblp}, booktitle = {AISC/MKM/Calculemus}, crossref = {conf/aisc/2010}, editor = {Autexier, Serge and Calmet, Jacques and Delahaye, David and Ion, Patrick D. F. and Rideau, Laurence and Rioboo, Renaud and Sexton, Alan P.}, ee = {https://doi.org/10.1007/978-3-642-14128-7_3}, interhash = {664109cf74b5f2ac5f4084c9c5a11928}, intrahash = {7b7b5fce17d0457d29a2c1b95ac39ef0}, isbn = {978-3-642-14127-0}, keywords = {dblp}, pages = {14-18}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T01:38:58.000+0200}, title = {A Revisited Perspective on Symbolic Mathematical Computing and Artificial Intelligence.}, url = {http://dblp.uni-trier.de/db/conf/aisc/aisc2010.html#CalmetC10}, volume = 6167, year = 2010 }