Design and Implementation of Symbolic Computation Systems [electronic resource] : International Symposium, DISCO '93 Gmunden, Austria, September 15–17, 1993 Proceedings /

This volume constitutes the proceedings of the International Symposium on Design and Implementation of Symbolic Computation Systems (DISCO '93), held in Gmunden, Austria, in September 1993. The growing importance of systems for symbolic computation has greatly influenced the decision of organizing this third conference in the series: DISCO '93 focuses mainly on the most innovative methodological and technological aspects of the design and implementation of hardware and software systems for symbolic and algebraic computation, automated reasoning, geometric modeling and computation, and automatic programming. The general objective of DISCO '93 is to present an up-to-date view of the field and to serve as a forum insymbolic computation for the scientific exchange among academic, industrial and user communities. Besides invited talks by Buchberger, Monagan, Omodeo and Hong, the volume contains 28 contributions, carefully selected by a highly competent international program committee from a total of 56 submissions.

Bibliographic Details

Main Authors:	Miola, Alfonso. editor., SpringerLink (Online service)
Format:	Texto biblioteca
Language:	eng
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg, 1993
Subjects:	Computer science., Computer programming., Software engineering., Programming languages (Electronic computers)., Computers., Computer science, Artificial intelligence., Computer Science., Theory of Computation., Artificial Intelligence (incl. Robotics)., Programming Techniques., Software Engineering., Programming Languages, Compilers, Interpreters., Symbolic and Algebraic Manipulation.,
Online Access:	http://dx.doi.org/10.1007/BFb0013162
Tags:	Add Tag No Tags, Be the first to tag this record!