Skip to main content

Springer

Design and Implementation of Symbolic Computation Systems: International Symposium, Disco '96, Karlsruhe, Germany, September 18-20, 1996. Proceedings

No reviews yet
Product Code: 9783540616979
ISBN13: 9783540616979
Condition: New
$61.47

Design and Implementation of Symbolic Computation Systems: International Symposium, Disco '96, Karlsruhe, Germany, September 18-20, 1996. Proceedings

$61.47
 
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.


Author: Jacques Calmet
Publisher: Springer
Publication Date: Sep 04, 1996
Number of Pages: 362 pages
Binding: Paperback or Softback
ISBN-10: 3540616977
ISBN-13: 9783540616979
 

Customer Reviews

This product hasn't received any reviews yet. Be the first to review this product!

Faster Shipping

Delivery in 3-8 days

Easy Returns

14 days returns

Discount upto 30%

Monthly discount on books

Outstanding Customer Service

Support 24 hours a day