| Titel | | ISBN-13 | Erschei-
nungsjahr | andere Autoren |
|---|
| Automated Deduction - CADE-11: 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992. Proceedings | | 978-3-540-55602-2 | 1992 |
| Automated Reasoning: 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, ... Notes in Computer Science, Band 8562) | | 978-3-319-08586-9 | 2014 | Stéphane Demri · Christoph Weidenbach |
| Computer Mathematics: 8th Asian Symposium, ASCM 2007, Singapore, December 15-17, 2007, Revised and Invited Papers | | 978-3-540-87826-1 | 2008 |
| Dependable Software Engineering: Theories, Tools, and Applications: Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, ... Notes in Computer Science, Band 9984) | | 978-3-319-47676-6 | 2016 | Martin Fränzle · Naijun Zhan |
| Dependable Software Engineering: Theories, Tools, and Applications: Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings | | 978-3-319-47678-0 | 2016 | Martin Fränzle · Naijun Zhan |
| Geometric Reasoning | | 978-0-262-61058-2 | 1989 | Joseph L. Mundy |
| Symbolic and Numerical Computation for Artificial Intelligence | | 978-0-12-220535-4 | 1992 | Bruce R. Donald · Joseph L. Mundy |
| Theoretical Aspects of Computing - ICTAC 2017: 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings | | 978-3-319-67728-6 | 2017 | Dang Van Hung |