APA (7th ed.) Citation

Calculemus-2000 Symposium (2000 : St. Andrews, Scotland), Kerber, M., & Kohlhase, M. (2001). Symbolic computation and automated reasoning: The CALCULEMUS-2000 Symposium. A.K. Peters.

Chicago Style (17th ed.) Citation

Calculemus-2000 Symposium (2000 : St. Andrews, Scotland), Manfred Kerber, and Michael Kohlhase. Symbolic Computation and Automated Reasoning: The CALCULEMUS-2000 Symposium. Natick, Mass: A.K. Peters, 2001.

MLA (8th ed.) Citation

Calculemus-2000 Symposium (2000 : St. Andrews, Scotland), et al. Symbolic Computation and Automated Reasoning: The CALCULEMUS-2000 Symposium. A.K. Peters, 2001.