Symbolic Computation and Automated Reasoning: The CALCULEMUS-2000 Symposium by Michael Kohlhase | Menrva Books | MenrvaBooks