Table of contents

  1. Front Matter
  2. Greg Butler, John Cannon
    Pages 10-19
  3. Alessandro Giovini, Gianfranco Niesi
    Pages 20-29
  4. J. H. Davenport, B. M. Trager
    Pages 40-54
  5. Carla Limongelli, M. Beatrice Mele, Mauro Regio, Marco Temperini
    Pages 61-70
  6. Jean-Pierre Jouannaud, Claude Marché
    Pages 111-120
  7. Thom W. Frühwirth
    Pages 121-130
  8. Roland N. Bol, Krzysztof R. Apt, Jan Willem Klop
    Pages 131-140
  9. Alan Bundy
    Pages 151-153

About these proceedings


The growing importance of the systems for symbolic computation has greatly influenced the decision of organizing DISCO '90 which is short for International Symposium on Design and Implementation of Symbolic Computation Systems. DISCO '90 focuses mainly on the most innovative methodological and technological aspects of hardware and software system design and implementation for Symbolic and Algebraic Computation, Automated Reasoning, Software Environments (Languages and User Interfaces), and Automatic Programming. In particular, it includes papers on the design and the development of significant running systems. The general objective of DISCO '90 is to present an up-to-date view of the field, while encouraging the scientific exchange among academic, industrial and user communities of the development of systems for symbolic computation.


Computeralgebra Scratch Softwareumgebungen Symbolisches Rechnen System automated reasoning automation automatisches Programmieren automatisches Schließen expert system formal method logic object programming proving

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1990
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-52531-8
  • Online ISBN 978-3-540-47014-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book