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
  10. Siva Anantharaman, Nirina Andrianarivelo
    Pages 184-193
  11. M. C. Dewar, M. G. Richardson
    Pages 195-204
  12. M. Bidoit, F. Capy, C. Choppy
    Pages 205-214
  13. G. P. Faconti, R. D. Bettarini, F. Paterno'
    Pages 255-263
  14. A. V. Bocharov
    Pages 266-267
  15. Chanderjit Bajaj, Andrew Royappa
    Pages 268-269
  16. Heinz Kredel
    Pages 270-271
  17. K. H. Lee, K. S. Leung, S. M. Cheang
    Pages 274-275
  18. S. V. Chmutov, E. A. Gaydar, I. M. Ignatovich, V. F. Kozadoy, A. P. Nemytykh, V. A. Pinchuk
    Pages 276-277
  19. Back Matter

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
  • Buy this book on publisher's site
Industry Sectors
Finance, Business & Banking
IT & Software
Consumer Packaged Goods