| Titel | Art | | ISBN-13 | Erschei-
nungsjahr | andere Autoren |
|---|
| Artificial Intelligence and Symbolic Computation: 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings | Taschenbuch | | 978-3-540-39728-1 | 2008 | Tetsuo Ida · Jaques Calmet |
| Artificial Intelligence and Symbolic Computation: 13th International Conference, AISC 2018, Suzhou, China, September 16-19, 2018, Proceedings | " | | 978-3-319-99956-2 | 2018 | Jacques Fleuriot · Jacques Calmet |
| Automated Deduction in Geometry: 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers | " | | 978-3-540-31332-8 | 2010 | Hoon Hong |
| Automated Deduction in Geometry: International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996, Selected Papers ... Notes in Computer Science , Band 1360) | " | | 978-3-540-64297-8 | 2008 |
| Automated Deduction in Geometry: Second International Workshop, ADG'98, Beijing, China, August 1-3, 1998, Proceedings | " | | 978-3-540-66672-1 | 2008 | Lu Yang · Xiao-Shan Gao |
| Automated Deduction in Geometry: Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers | " | | 978-3-540-42598-4 | 2008 | J??rgen Richter-Gebert |
| Automated Practical Reasoning: Algebraic Approaches | Paperback | | 978-0-387-82600-4 | 1995 | Jochen Pfalzgraf |
| Automated Practical Reasoning: Algebraic Approaches | Taschenbuch | | 978-3-211-82600-3 | 1995 | Jochen Pfalzgraf · J. Cunningham |
| Computer Mathematics: Proceedings of the Fourth Asian Symposium , Chiang Mai, Thailand 17-21 December 2000 | Hardcover | | 978-981-02-4498-9 | 2000 | Xiaoshan Gao |
| Differential Equations with Symbolic Computation | " | | 978-0-8176-7368-0 | 2005 |
| Differential Equations with Symbolic Computation | Gebunden | | 978-3-7643-7368-9 | 2005 | Zhiming Zheng |
| Elimination Practice: Software Tools and Applications | Hardcover | | 978-1-86094-438-3 | 2004 |
| Gröbner Bases in Symbolic Analysis | Gebunden | | 978-3-11-019323-7 | 2007 | Markus Rosenkranz |
| Mathematics Mechanization and Applications | Hardcover | | 978-0-12-734760-8 | 2000 | Xiao-Shan Gao |
| Symbolic-Numeric Computation | Gebunden | | 978-3-7643-7983-4 | 2007 | Li-Hong Zhi |