| title | media type | | ISBN-13 | year of publica-
tion | other author(s) |
|---|
| Constraint Logic Programming using Eclipse | Hardcover | | 978-0-521-86628-6 | 2006 | Mark Wallace |
| From Logic Programming to Prolog | Textbook Binding | | 978-0-13-230368-2 | 1996 |
| Lectures in Game Theory for Computer Scientists | Hardcover | | 978-0-521-19866-0 | 2011 | Erich Grädel |
| Logic Programming Languages: Constraints, Functions, and Objects | " | | 978-0-262-01134-1 | 1993 | J. W. de Bakker · J. M. Rutten |
| Logic Programming Languages: Constraints, Functions, and Objects | Paperback | | 978-0-262-51167-4 | 1993 | J. W de Bakker · J. M Rutten |
| Logic Programming: The Joint International Conference & Symposium | " | | 978-0-262-51064-6 | 1992 |
| Logics and Models of Concurrent Systems | Hardcover | | 978-0-387-15181-6 | 1985 |
| Logics and Models of Concurrent Systems | Gebunden | | 978-3-540-15181-4 | 1985 |
| Logics and Models of Concurrent Systems | Taschenbuch | | 978-3-642-82455-5 | 1985 |
| Meta-Logics and Logic Programming | Paperback | | 978-0-262-51168-1 | 2003 | Franco Turini |
| Meta-Logics and Logic Programming | Hardcover | | 978-0-262-01152-5 | 1995 | " |
| New Trends in Constraints: Joint ERCIM/Compulog Net Workshop Paphos, Cyprus, October 25-27, 1999 Selected Papers | Taschenbuch | | 978-3-540-67885-4 | 2000 | Antonis C. Kakas · Eric Monfroy · Francesca Rossi |
| Principles of Constraint Programming | Hardcover | | 978-0-521-82583-2 | 2003 |
| Programmverifikation: "Sequentielle, Parallele Und Verteilte Programme" | Taschenbuch | | 978-3-540-57479-8 | 2013 |
| Recent Advances in Constraints: Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, ... Notes in Computer Science , Band 3010) | " | | 978-3-540-21834-0 | 2009 | Jósef Váncza · Francesca Rossi · Peter Szeredi · François Fages |
| The Logic Programming Paradigm: A 25-Year Perspective | Gebunden | | 978-3-540-65463-6 | 1999 | Victor W. Marek · Mirek Truszczynski · David S. Warren |
| The Logic Programming Paradigm: A 25-Year Perspective | Taschenbuch | | 978-3-642-64249-4 | 1999 |
| Verification of Sequential and Concurrent Programs | Hardcover | | 978-1-84882-744-8 | 2009 | Frank S. de Boer · Ernst-Rüdiger Olderog |
| Verification of Sequential and Concurrent Programs | " | | 978-0-387-94896-6 | 1997 | Ernst-Rüdiger Olderog |
| Verification of Sequential and Concurrent Programs | " | | 978-0-387-97532-0 | 1991 | Ernst-Rudiger Olderog |
| Verification of Sequential and Concurrent Programs | Gebunden | | 978-3-540-97532-8 | 1991 | Ernst-Rüdiger Olderog |