| Titel |  | ISBN-13 | Erschei- nungsjahr
 | andere Autoren | 
|---|
| Logic Based Program Synthesis and Transformation: 13th International Symposium LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected ... Notes in Computer Science , Band 3018) |  | 978-3-540-22174-6 | 2008 | 
| Logic Programming: The 1994 International Symposium |   | 978-0-262-52191-8 | 1994 | 
| Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development |  | 978-3-540-22152-4 | 2008 | Kung-Kiu Lau | 
| Programming Language Implementation and Logic Programming: 4th International Symposium, Plilp '92, Leuven, Belgium, August 26-28, 1992: Proceedings |   | 978-0-387-55844-8 | 1992 | Belgium) Plilp 9 (1992 Louvain | 
| Programming Language Implementation and Logic Programming: 4Th International Symposium, Plilp '92, Leuven, Belgium, August 26-28, 1992 Proceedings ... Notes in Computer Science , Band 631) |  | 978-3-540-55844-6 | 1992 | Martin Wirsing | 
| Programming Language Implementation and Logic Programming: 5th International Symposium, PLILP '93, Tallinn, Estonia, August 25-27, 1993. Proceedings |  | 978-3-540-57186-5 | 2008 | Jaan Penjam | 
| Programming Language Implementation and Logic Programming: 5th International Symposium, Plilp '93, Tallinn, Estonia, August 25-27, 1993 Proceedings |   | 978-0-387-57186-7 | 1993 | Estonia) Plilp 9 (1993 Tallinn |