ENGLISH

Design and Implementation of Symbolic Computation Systems: International Symposium DISCO '90 Capri, Italy, April 10–12, 1990 Proceedings

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
1990
ISBN
3540525319, 9783540525318
DOI
10.1007/3-540-52531-9
LCC
QA76.9.S88 I576 1990
Open Library ID
OL1857497M
Language
english
Format
DJVU
Filesize
4 MB (4378760 bytes)
Series
Lecture Notes in Computer Science 429
Edition
1
Pages
286\295
Library
Kolxo3
DPI
300
Time added
2011-01-06 10:13:16

Description

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.

Similar books