Design and Implementation of Symbolic Computation Systems: International Symposium, Disco '96, Karlsruhe, Germany, September 18-20, 1996. Proceedings
| PUBLISHER | Springer (09/04/1996) |
| PRODUCT TYPE | Paperback (Paperback) |
Description
This book presents the refereed proceedings of the Fourth International Symposium on Design and Implementation of Symbolic Computation Systems, DISCO '96, held in Karlsruhe, Germany, in September 1996.
The volume includes four invited contributions surveying the state of the art in a particular subfield or pointing to some new research directions together with 31 revised full papers selected from a total of some 70 submissions. Many current aspects of mathematical software systems, as employed e.g. in computer algebra, automated theorem proving, or al- gebraic specification are addressed.
The volume includes four invited contributions surveying the state of the art in a particular subfield or pointing to some new research directions together with 31 revised full papers selected from a total of some 70 submissions. Many current aspects of mathematical software systems, as employed e.g. in computer algebra, automated theorem proving, or al- gebraic specification are addressed.
Show More
Product Format
Product Details
ISBN-13:
9783540616979
ISBN-10:
3540616977
Binding:
Paperback or Softback (Trade Paperback (Us))
Content Language:
English
More Product Details
Page Count:
362
Carton Quantity:
24
Product Dimensions:
6.14 x 0.78 x 9.21 inches
Weight:
1.16 pound(s)
Country of Origin:
DE
Subject Information
BISAC Categories
Computers | Software Development & Engineering - General
Computers | Applied
Computers | Computer Science
Dewey Decimal:
005.131
Library of Congress Control Number:
96038259
Descriptions, Reviews, Etc.
publisher marketing
This book presents the refereed proceedings of the Fourth International Symposium on Design and Implementation of Symbolic Computation Systems, DISCO '96, held in Karlsruhe, Germany, in September 1996.
The volume includes four invited contributions surveying the state of the art in a particular subfield or pointing to some new research directions together with 31 revised full papers selected from a total of some 70 submissions. Many current aspects of mathematical software systems, as employed e.g. in computer algebra, automated theorem proving, or al- gebraic specification are addressed.
The volume includes four invited contributions surveying the state of the art in a particular subfield or pointing to some new research directions together with 31 revised full papers selected from a total of some 70 submissions. Many current aspects of mathematical software systems, as employed e.g. in computer algebra, automated theorem proving, or al- gebraic specification are addressed.
Show More
List Price $54.99
Your Price
$54.44