Titel | ISBN-13 | Erschei- nungsjahr | andere Autoren |
Algebraic and Logic Programming: 5th International Conference, ALP '96, Aachen, Germany, September 25 - 27, 1996. Proceedings | 978-3-540-61735-8 | 2008 | Mario Rodriguez-Artalejo |
Algebraic and Logic Programming: 6th International Joint Conference, ALP '97 - HOA '97, Southhampton, UK, September 3-5, 1997. Proceedings | 978-3-540-63459-1 | 2008 | Jan Heering · Karl Meinke |
Applications of Declarative Programming and Knowledge Management: 15th International Conference on Applications of Declarative Programming and ... Notes in Computer Science , Band 3392) | 978-3-540-25560-4 | 2008 | Dietmar Seipel · Ulrich Geske · Oskar Bartenstein |
Applications of Declarative Programming and Knowledge Management: 17th International Conference, INAP 2007, and 21st Workshop on Logic Programming, ... Notes in Computer Science, Band 5437) | 978-3-642-00674-6 | 2010 | Dietmar Seipel · Armin Wolf |
Declarative Programming and Knowledge Management: Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September ... Notes in Computer Science, Band 8439) | 978-3-319-08908-9 | 2014 | Ricardo Rocha |
Logic-Based Program Synthesis and Transformation: 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers | 978-3-642-00514-5 | 2010 |
Practical Aspects of Declarative Languages: 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007, Proceedings | 978-3-540-69608-7 | 2007 |
Problemlösen mit Prolog | 978-3-519-12541-9 | 1987 |