Intelligent Computer Mathematics

MLA

Autexier, Serge, et al. Intelligent Computer Mathematics. Springer Berlin Heidelberg, 2008.

APA

Autexier, S., Campbell, J., Rubio, J., Siekmann, J., Sorge, V., Suzuki, M., & Wiedijk, F. (2008). Intelligent Computer Mathematics. Springer Berlin Heidelberg.

Chicago

Autexier, Serge, John Campbell, Julio Rubio, Jörg Siekmann, Volker Sorge, Masakazu Suzuki, and Freek Wiedijk. Intelligent Computer Mathematics. : Springer Berlin Heidelberg, 2008.