| Titel | ISBN-13 | Erschei-
nungsjahr | andere Autoren |
|---|
| Algebraic and Logic Programming: Second International Conference, Nancy, France, October 1-3, 1990. Proceedings | 978-3-540-53162-3 | 2008 | Wolfgang Wechler |
| Algebraic and Logic Programming: Third International Conference, Volterra, Italy, September 2-4, 1992. Proceedings | 978-3-540-55873-6 | 2008 | Giorgio Levi |
| Algebraic Methodology and Software Technology: 9th International Conference, AMAST 2002, Saint-Gilles-les- Bains, Reunion Island, France, September ... Notes in Computer Science , Band 2422) | 978-3-540-44144-1 | 2008 | Christophe Ringeissen |
| Automated Deduction - CADE-15: 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings | 978-3-540-64675-4 | 2008 | Claude Kirchner |
| Frontiers of Combining Systems: Third International Workshop, FroCoS 2000 Nancy, France, March 22-24, 2000 Proceedings | 978-3-540-67281-4 | 2008 | Christophe Ringeissen |
| Trees in Algebra and Programming - CAAP '96: 21st International Colloquium, Linköping, Sweden, April 22-24, 1996 Proceedings | 978-3-540-61064-9 | 2009 |