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

Front Cover
Springer Science & Business Media, Mar 26, 1990 - Computers - 283 pages
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.

From inside the book

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

I
1
II
10
III
20
IV
30
V
40
VI
55
VII
56
VIII
61
XXI
184
XXII
194
XXIII
205
XXIV
215
XXV
225
XXVI
235
XXVII
245
XXVIII
255

IX
71
X
81
XI
91
XII
101
XIII
111
XIV
121
XV
131
XVI
141
XVII
151
XVIII
154
XIX
164
XX
174
XXIX
264
XXX
266
XXXI
268
XXXII
272
XXXIII
274
XXXIV
276
XXXV
278
XXXVI
280
XXXVII
282
XXXVIII
Copyright

Other editions - View all

Common terms and phrases

Bibliographic information