A K Peters/CRC Press · Springer
| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren | |
|---|---|---|---|---|
| Computational Logic _ CL 2000: First International Conference London, UK, July 24-28, 2000 Proceedings | 978-3-540-67797-0 (3-540-67797-6) | 2000 | John Lloyd · Veronica Dahl · Ulrich Furbach · Kung-Kiu Lau · Catuscia Palamidessi · Luis M. Pereira · Yehoshua Sagiv | |
| Intelligent Computer Mathematics: International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings. | 978-3-319-20614-1 (3-319-20614-1) | 2015 | Jacques Carette · Cezary Kaliszyk · Florian Rabe · Volker Sorge | |
| Symbolic Computation and Automated Reasoning: The CALCULEMUS-2000 Symposium | 978-1-56881-145-1 (1-56881-145-4) | 2001 | Michael Kohlhase |