![Design and Implementation of Symbolic Computation Systems [electronic resource] : International Symposium DISCO '90 Capri, Italy, April 10–12, 1990 Proceedings /](/search/themes/bootstrap3/images/libros.png)
Design and Implementation of Symbolic Computation Systems [electronic resource] : International Symposium DISCO '90 Capri, Italy, April 10–12, 1990 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.
| Main Authors: | , |
|---|---|
| Format: | Texto biblioteca |
| Language: | eng |
| Published: |
Berlin, Heidelberg : Springer Berlin Heidelberg,
1990
|
| Subjects: | Computer science., Computer programming., Software engineering., Programming languages (Electronic computers)., Computers., Artificial intelligence., Computer graphics., Computer Science., Theory of Computation., Programming Techniques., Software Engineering., Programming Languages, Compilers, Interpreters., Artificial Intelligence (incl. Robotics)., Computer Graphics., |
| Online Access: | http://dx.doi.org/10.1007/3-540-52531-9 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Summary: | 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. |
|---|