Reihe Lecture Notes in Computer ScienceAlfonso Miola ×eBooks × Design and Implementation of Symbolic Computation SystemsInternational Symposium, DISCO '93, Gmunden, Austria, September 15-17, 1993. ProceedingsAlfonso MiolaSpringer BerlineBook2005