Proceedings

DISCO: Design and Implementation of Symbolic COmputation systems

• DISCO' 90
  April 1990
  Capri, Italy
  Proceedings: Miola A. Editor, Lecture Notes in Computer Science 429, Springer, 1990
  ISBN: 3-540-52531-9

• DISCO' 92
  April 1992
  Bath, United Kingdom
  Proceedings: Fitch J.P. Editor, Lecture Notes in Computer Science 721, Springer, 1993
  ISBN: 3-540-57272-4

• DISCO'93
  September 1993
  Gmunden, Austria
  Proceedings: Miola A. Editor, Lecture notes in computer science 722, Springer, 1993
  ISBN: 3-540-57235-X
  Revised and extended version: Miola A. Editor, Academic Press, 1995

• DISCO'96
  September 1996
  Karlsruhe, Germany
  Proceedings: Calmet J., Limongelli C. Editors, Lecture notes in computer science 1128, Springer, 1996
  ISBN: 3-540-61697-7

Go to:
Proceedings
Literature
CAIN Home page