APA (7th ed.) Citation

(2007). Towards mechanized mathematical assistants: 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007 ; proceedings. Springer. https://doi.org/10.1007/978-3-540-73086-6

Chicago Style (17th ed.) Citation

Towards Mechanized Mathematical Assistants: 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007 ; Proceedings. Berlin [u.a.]: Springer, 2007. https://doi.org/10.1007/978-3-540-73086-6.

MLA (9th ed.) Citation

Towards Mechanized Mathematical Assistants: 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007 ; Proceedings. Springer, 2007. https://doi.org/10.1007/978-3-540-73086-6.