Intelligent Computer Mathematics

MLA

Michael Kohlhase, Moa Johansson, Bruce Miller, Leonardo de Moura, Frank Tompa, et al. Intelligent Computer Mathematics. Springer International Publishing, 2016.

APA

Michael Kohlhase, F. Tompa, de Moura, L., Johansson, M., Miller, B., & Tompa, F. (2016). Intelligent Computer Mathematics. Springer International Publishing.

Chicago

Michael Kohlhase, Moa Johansson, Bruce Miller, Leonardo de Moura, Frank Tompa, Leonardo de Moura, Moa Johansson, Bruce Miller, and Frank Tompa. Intelligent Computer Mathematics. : Springer International Publishing, 2016.