Design and Implementation of Symbolic Computation Systems
International Symposium, DISCO '96, Karlsruhe, Germany, September 18-20, 1996. Proceedings
Mitarbeit:Calmet, Jacques; Limongelli, Carla
Design and Implementation of Symbolic Computation Systems
International Symposium, DISCO '96, Karlsruhe, Germany, September 18-20, 1996. Proceedings
Mitarbeit:Calmet, Jacques; Limongelli, Carla
- Broschiertes Buch
- Merkliste
- Auf die Merkliste
- Bewerten Bewerten
- Teilen
- Produkt teilen
- Produkterinnerung
- Produkterinnerung
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.
- Jan A. Bergstra / Loe M.G. Feijs (eds.)Algebraic Methods II: Theory, Tools and Applications40,99 €
- Alfonso Miola (ed.)Design and Implementation of Symbolic Computation Systems40,99 €
- Algebraic Foundations of Systems Specification39,99 €
- WirsingAlgebraic Methodology and Software Technology79,99 €
- FitchDesign and Implementation of Symbolic Computation Systems40,99 €
- Patrizia Gianni (ed.)Symbolic and Algebraic Computation40,99 €
- Alfonso MiolaDesign and Implementation of Symbolic Computation Systems40,99 €
-
-
-
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.
- Produktdetails
- Lecture Notes in Computer Science 1128
- Verlag: Springer / Springer Berlin Heidelberg / Springer, Berlin
- Artikelnr. des Verlages: 978-3-540-61697-9
- 2000.
- Seitenzahl: 376
- Erscheinungstermin: 4. September 1996
- Englisch
- Abmessung: 235mm x 155mm x 21mm
- Gewicht: 488g
- ISBN-13: 9783540616979
- ISBN-10: 3540616977
- Artikelnr.: 09230607
- Lecture Notes in Computer Science 1128
- Verlag: Springer / Springer Berlin Heidelberg / Springer, Berlin
- Artikelnr. des Verlages: 978-3-540-61697-9
- 2000.
- Seitenzahl: 376
- Erscheinungstermin: 4. September 1996
- Englisch
- Abmessung: 235mm x 155mm x 21mm
- Gewicht: 488g
- ISBN-13: 9783540616979
- ISBN-10: 3540616977
- Artikelnr.: 09230607