Design and Implementation of Symbolic Computation Systems: International Symposium DISCO '90 Capri, Italy, April 10–12, 1990 Proceedings
Book information
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
Analysis and Visualization Tools for Constraint Programming: Constraint Debugging
2000 · PDF
Clause and Effect: Prolog Programming for the Working Programmer
1997 · PDF
Design and Implementation of Symbolic Computation Systems: International Symposium DISCO '90 Capri, Italy, April 10–12, 1990 Proceedings
1990 · DJVU
Analysis and Visualization Tools for Constraint Programming: Constraint Debugging
2000 · PDF
Conclog: A Methodological Approach to Concurrent Logic Programming
1991 · DJVU
Analysis and Visualization Tools for Constraint Programming: Constraint Debugging
2000 · PDF
All About Maude - A High-Performance Logical Framework: How to Specify, Program and Verify Systems in Rewriting Logic
2007 · PDF
C2 Compiler Concepts
1993 · PDF