Design And Implementation Of Symbolic Computation Systems International Symposium Disco 96 Karlsruhe Germany September 18 20 1996 Proceedings Lecture Notes In Computer Science

Design And Implementation Of Symbolic Computation Systems This book presents the refereed proceedings of the fourth international symposium on design and implementation of symbolic computation systems, disco ’96, held in karlsruhe, germany, in september 1996. the volume includes four invited…