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) ↗
2. Handbook of computational geometry. (1999) Other Names: Sack, J.-R (Jörg-Rüdiger), 1954-; Urrutia, J (Jorge) Record Type: Book Extent: 1 online resource (1075 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗