عنوان
پدید آورنده
موضوع
رده
QA76.9.S88 I576 1990
QA76
.
9
.
S88
I576
1990
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
0387525319 (New York : acid-free paper)
(Number (ISBN
3540525319 (Berlin : acid-free paper)
(Number (ISBN
9780387525310 (New York : acid-free paper)
(Number (ISBN
9783540525318 (Berlin : acid-free paper)
NATIONAL BIBLIOGRAPHY NUMBER
Number
b502503
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Design and implementation of symbolic computation systems :
General Material Designation
[Book]
Other Title Information
International Symposium DISCO '90, Capri, Italy, April 10-12, 1990 : proceedings /
First Statement of Responsibility
A. Miola, (ed.).
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
New York :
Name of Publisher, Distributor, etc.
Springer-Verlag,
Date of Publication, Distribution, etc.
c1990.
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xii, 283 p. :
Other Physical Details
ill. ;
Dimensions
25 cm.
SERIES
Series Title
Lecture notes in computer science ;
Volume Designation
429.
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references and index.
SUMMARY OR ABSTRACT
Text of Note
"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.
OTHER EDITION IN ANOTHER MEDIUM
Title
Design and implementation of symbolic computation systems.
TOPICAL NAME USED AS SUBJECT
Mathematics-- Data processing, Congresses.
Numerical analysis-- Data processing, Congresses.
System design, Congresses.
DEWEY DECIMAL CLASSIFICATION
Number
004
.
2/1
Edition
20
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA76
.
9
.
S88
Book number
I576
1990
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Miola, A., (Alfonso),1944-
CORPORATE BODY NAME - PRIMARY RESPONSIBILITY
International Symposium DISCO '90(1990 :, Capri, Italy)
ORIGINATING SOURCE
Date of Transaction
20140613195332.0
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
