| 书目名称 | Design and Implementation of Symbolic Computation Systems |
| 副标题 | International Sympos |
| 编辑 | Jacques Calmet,Carla Limongelli |
| 视频video | |
| 丛书名称 | Lecture Notes in Computer Science |
| 图书封面 |  |
| 描述 | 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. |
| 出版日期 | Conference proceedings 1996 |
| 关键词 | Algebraic Specification; Algebraische Spezifikation; Autmatisches Theorembeweisen; Automated Theorem Pr |
| 版次 | 1 |
| doi | https://doi.org/10.1007/3-540-61697-7 |
| isbn_softcover | 978-3-540-61697-9 |
| isbn_ebook | 978-3-540-70635-9Series ISSN 0302-9743 Series E-ISSN 1611-3349 |
| issn_series | 0302-9743 |
| copyright | Springer-Verlag Berlin Heidelberg 1996 |
发表于 2025-3-21 19:04:15
