| Titel | | ISBN-13 | Erschei-
nungsjahr | andere Autoren |
|---|
| Computer Science Logic: 15th International Workshop, CSL 2001. 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001 Proceedings ... Notes in Computer Science , Band 2142) | | 978-3-540-42554-0 | 2008 |
| Formal Modeling and Analysis of Timed Systems: 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013, Proceedings | | 978-3-642-40228-9 | 2013 | Víctor Braberman |
| Logic Program Synthesis and Transformation - Meta-Programming in Logic: 4th International Workshops, LOPSTR '94 and META '94, Pisa, Italy, June 20 - ... Notes in Computer Science , Band 883) | | 978-3-540-58792-7 | 2008 | Franco Turini |
| Logic Program Synthesis and Transformation-- Meta-Programming in Logic: 4th International Workshops, Lopstr '94 and Meta '94, Pisa, Italy, June 1994 | | 978-0-387-58792-9 | 1994 | " |