1. Symbolic computation and automated reasoning : the CALCULEMUS-2000 Symposium /: the CALCULEMUS-2000 Symposium. (2001) Other Names: Kerber, Manfred, 1956-; Kohlhase, Michael, 1964-; CALCULEMUS-2000 Symposium Record Type: Book Extent: 1 online resource (288 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗