CALCULEMUS-2000 Symposium St. Andrews, Scotland, Kerber, M., & Kohlhase, M. (2001). Symbolic computation and automated reasoning: The CALCULEMUS-2000 Symposium. A K Peters.
Chicago Style (17th ed.) CitationCALCULEMUS-2000 Symposium St. Andrews, Scotland, Manfred Kerber, and Michael Kohlhase. Symbolic Computation and Automated Reasoning: The CALCULEMUS-2000 Symposium. Natick, Mass.: A K Peters, 2001.
MLA (9th ed.) CitationCALCULEMUS-2000 Symposium St. Andrews, Scotland, et al. Symbolic Computation and Automated Reasoning: The CALCULEMUS-2000 Symposium. A K Peters, 2001.
Warning: These citations may not always be 100% accurate.