Intelligent Computer Mathematics (CICM 2015)
Manfred Kerber, Jacques Carette, Cezary Kaliszyk, Florian Rabe, and Volker Sorge (eds.)Proceedings of the International Conference, Washington DC, Lecture Notes in Artificial Intelligence 9150, 2015.
BibTeX
@proceedings{CICM2015,
editor = "Manfred Kerber and Jacques Carette and Cezary Kaliszyk and
Florian Rabe and Volker Sorge",
title = "Proceedings of the International Conference on Intelligent
Computer Mathematics (CICM 2015)",
series = "Lecture Notes in Artificial Intelligence",
volume = 9150,
year = 2015,
doi = "10.1007/978-3-319-20615-8"
}