عنوان

Design and implementation of symbolic computation systems :

شابک

0387525319 (New York : acid-free paper)

شابک

3540525319 (Berlin : acid-free paper)

شابک

9780387525310 (New York : acid-free paper)

شابک

9783540525318 (Berlin : acid-free paper)

شماره

b502503

عنوان اصلي

Design and implementation of symbolic computation systems :

نام عام مواد

[Book]

ساير اطلاعات عنواني

International Symposium DISCO '90, Capri, Italy, April 10-12, 1990 : proceedings /

نام نخستين پديدآور

A. Miola, (ed.).

محل نشرو پخش و غیره

New York :

نام ناشر، پخش کننده و غيره

Springer-Verlag,

تاریخ نشرو بخش و غیره

c1990.

نام خاص و کميت اثر

xii, 283 p. :

ساير جزييات

ill. ;

ابعاد

25 cm.

عنوان فروست

Lecture notes in computer science ;

مشخصه جلد

429.

متن يادداشت

Includes bibliographical references and index.

متن يادداشت

"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.

عنوان

Design and implementation of symbolic computation systems.

موضوع مستند نشده

Mathematics-- Data processing, Congresses.

موضوع مستند نشده

Numerical analysis-- Data processing, Congresses.

موضوع مستند نشده

System design, Congresses.

شماره

ويراست

شماره رده

نشانه اثر

مستند نام اشخاص تاييد نشده

Miola, A., (Alfonso),1944-

مستند نام تنالگان تاييد نشده

International Symposium DISCO '90(1990 :, Capri, Italy)

تاريخ عمليات

20140613195332.0

نام الکترونيکي

نوع ماده

[Book]

تكميل شده

Y