Autexier, S., Campbell, J., Rubio, J., Sorge, V., Suzuki, M. und Wiedijk, F. (Hrsg.) (2008) „Intelligent Computer Mathematics : 9 th International Conference, AISC 2008 15 th Symposium, Calculemus 2008 7 th International Conference, MKM 2008 Birmingham, UK, July 28 - August 1, 2008, Proceedings“, Lecture Notes in Artificial Intelligence. 1 st ed. 2008. Berlin, Heidelberg: Springer Berlin Heidelberg. doi:10.1007/978-3-540-85110-3.

Autexier, Serge, John Campbell, Julio Rubio, Volker Sorge, Masakazu Suzuki, und Freek Wiedijk, Hrsg. „Intelligent Computer Mathematics : 9 th International Conference, AISC 2008 15 th Symposium, Calculemus 2008 7 th International Conference, MKM 2008 Birmingham, UK, July 28 - August 1, 2008, Proceedings“. Cd. Lecture Notes in Artificial Intelligence. Berlin, Heidelberg: Springer Berlin Heidelberg, [2008?], Berlin, Heidelberg: Springer Berlin Heidelberg, [2008?]. https://doi.org/10.1007/978-3-540-85110-3.

Autexier, S., Campbell, J., Rubio, J., Sorge, V., Suzuki, M., … Wiedijk, F. (Hrsg.). (ca. 2008). Intelligent Computer Mathematics : 9 th International Conference, AISC 2008 15 th Symposium, Calculemus 2008 7 th International Conference, MKM 2008 Birmingham, UK, July 28 - August 1, 2008, Proceedings [Cd]. In Lecture Notes in Artificial Intelligence (1 st ed. 2008). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-540-85110-3

Autexier, S., J. Campbell, J. Rubio, V. Sorge, M. Suzuki, und F. Wiedijk, Herausgeber. „Intelligent Computer Mathematics : 9 th International Conference, AISC 2008 15 th Symposium, Calculemus 2008 7 th International Conference, MKM 2008 Birmingham, UK, July 28 - August 1, 2008, Proceedings“. Lecture Notes in Artificial Intelligence, 1 st ed. 2008, cd, Springer Berlin Heidelberg, 2008, https://doi.org/10.1007/978-3-540-85110-3.

AUTEXIER, Serge, John CAMPBELL, Julio RUBIO, Volker SORGE, Masakazu SUZUKI und Freek WIEDIJK (Hrsg.). [cd]. 2008. 1 st ed. 2008. Berlin, Heidelberg: Springer Berlin Heidelberg. ISBN 9783540851103