Matches in Harvard for { <http://id.lib.harvard.edu/aleph/001913840/catalog> ?p ?o. }
Showing items 1 to 28 of
28
with 100 items per page.
- catalog abstract ""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."--Publisher's website.".
- catalog contributor b2754220.
- catalog contributor b2754221.
- catalog created "c1990.".
- catalog date "1990".
- catalog date "c1990.".
- catalog dateCopyrighted "c1990.".
- catalog 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."--Publisher's website.".
- catalog description "Includes bibliographical references.".
- catalog extent "xii, 283 p. :".
- catalog hasFormat "Design and implementation of symbolic computation systems.".
- catalog identifier "0387525319 :".
- catalog identifier "3540525319".
- catalog isFormatOf "Design and implementation of symbolic computation systems.".
- catalog isPartOf "Lecture notes in computer science ; 429".
- catalog issued "1990".
- catalog issued "c1990.".
- catalog language "eng".
- catalog publisher "Berlin ; New York : Springer-Verlag,".
- catalog relation "Design and implementation of symbolic computation systems.".
- catalog subject "004.2/1 20".
- catalog subject "Mathematics Data processing Congresses.".
- catalog subject "Numerical analysis Data processing Congresses.".
- catalog subject "QA76.9.S88 I576 1990".
- catalog subject "System design Congresses.".
- catalog title "Design and implementation of symbolic computation systems : International Symposium DISCO '90, Capri, Italy, April 10-12, 1990 : proceedings / A. Miola (ed.).".
- catalog type "Conference proceedings. fast".
- catalog type "text".