A Revisited Perspective on Symbolic Mathematical Computing and Artificial Intelligence
| Zugehörige Institution(en) am KIT | Fakultät für Informatik – Institut für Kryptographie und Sicherheit (IKS) |
| Publikationstyp | Proceedingsbeitrag |
| Publikationsjahr | 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-Verlag |
| Seiten | 14-18 |
| Serie | Lecture Notes in Computer Science ; 6167 |