| Titel | Art | ISBN-13 | Erschei- nungsjahr | andere Autoren | |
|---|---|---|---|---|---|
| Logic-Based Program Synthesis and Transformation: 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected ... Notes in Computer Science, Band 8981) | Taschenbuch | 978-3-319-17821-9 | 2015 | Hirohisa Seki | |
| Logic Program Synthesis and Transformation: 5th International Workshop, LOPSTR'95, Utrecht, The Netherlands, September 20-22, 1995. Proceedings | Paperback | 978-3-662-17351-0 | 2014 | ||
| Logic Program Synthesis and Transformation: 5th International Workshop, LOPSTR'95, Utrecht, The Netherlands, September 20-22, 1995. Proceedings | Taschenbuch | 978-3-540-60939-1 | 2008 | ||
| Logic Program Synthesis and Transformation: 5th International Workshop, Lopstr'95, Utrecht, the Netherlands, September 20-22, 1995: Proceedings | Paperback | 978-0-387-60939-3 | 1996 | Netherlands) International Workshop on Logic Program Synthesis and Transformation (5th : 1995 : Utrecht | |