Design and Implementation of Symbolic Computation Systems (DISCO)
DISCO 1996: Karlsruhe, Germany
Jacques Calmet, Carla Limongelli (Eds.): Design and Implementation of Symbolic Computation Systems, International Symposium, DISCO '96, Karlsruhe, Germany, September 18-20, 1996, Proceedings. Springer 1996 Lecture Notes in Computer Science 1128 ISBN 3-540-61697-7 [ contents ]
DISCO 1993: Gmunden, Austria
Alfonso Miola (Ed.): Design and Implementation of Symbolic Computation Systems, International Symposium, DISCO '93, Gmunden, Austria, September 15-17, 1993, Proceedings. Springer 1993 Lecture Notes in Computer Science 722 ISBN 3-540-57235-X [ contents ]
DISCO 1992, Bath, UK
John Fitch (Ed.): Design and Implementation of Symbolic Computation Systems, International Symposium, DISCO '92, Bath, UK, April 13-15, 1992, Proceedings. Springer 1993 Lecture Notes in Computer Science 721 ISBN 3-540-57272-4 [ contents ]
DISCO 1990, Capri, Italy
Alfonso Miola (Ed.): Design and Implementation of Symbolic Computation Systems, International Symposium, DISCO '90, Capri, Italy, April 10-12, 1990, Proceedings. Springer 1990 Lecture Notes in Computer Science 429 ISBN 3-540-52531-9 [ contents ]



