APA-Zitierstil (7. Ausg.)

(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-Zitierstil (17. Ausg.)

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-Zitierstil (9. Ausg.)

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.