APA (7th ed.) Citation

Colton, S. (2002). Automated Theory Formation in Pure Mathematics. Springer London : Imprint : Springer.

Chicago Style (17th ed.) Citation

Colton, Simon. Automated Theory Formation in Pure Mathematics. London: Springer London : Imprint : Springer, 2002.

MLA (9th ed.) Citation

Colton, Simon. Automated Theory Formation in Pure Mathematics. Springer London : Imprint : Springer, 2002.

Warning: These citations may not always be 100% accurate.