KIT | KIT-Bibliothek | Impressum | Datenschutz

A Revisited Perspective on Symbolic Mathematical Computing and Artificial Intelligence

Calmet, J.; Campbell, J. A.



Zugehörige Institution(en) am KIT Institut für Kryptographie und Sicherheit (IKS)
Publikationstyp Proceedingsbeitrag
Jahr 2010
Sprache Englisch
Identifikator ISBN: 978-3-642-14127-0
ISSN: 0302-9743
KITopen-ID: 1000029931
Erschienen in Proceedings 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Ed.: S. Autexier
Verlag Springer, Berlin
Seiten 14-18
Serie Lecture Notes in Computer Science ; 6167
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page