| Titel | | ISBN-13 | Erschei-
nungsjahr | andere Autoren |
|---|
| Advances in Logic Programming Theory | | 978-0-19-853853-0 | 1994 |
| Algebraic and Logic Programming: 4th International Conference, ALP'94 Madrid, Spain, September 14-16, 1994 Proceedings | | 978-3-540-58431-5 | 2009 | Mario Rodríguez-Artalejo |
| Algebraic and Logic Programming: 4th International Confernence, Alp '94, Madrid, Spain, September 14-16, 1994 Proceedings | | 978-0-387-58431-7 | 1994 | Spain) Alp 9 (1994 Madrid · M. Rodriguez Artalejo · Spain) International Conference on Algebraic and Logic Programming (4th : 1994 : Madrid |
| Algebraic and Logic Programming: Third International Conference, Volterra, Italy, September 2-4, 1992. Proceedings | | 978-3-540-55873-6 | 2008 | Helene Kirchner |
| Foundations of Logic and Functional Programming: Workshop, Trento, Italy, December 15-19, 1986. Proceedings | | 978-3-540-19129-2 | 2008 | Luigia Carlucci Aiello · Mauro Boscarol |
| Logic Programming: The 6th International Conference | | 978-0-262-62065-9 | 1989 | Maurizio Martelli |
| Prolog: linguaggio, applicazioni ed implementazioni | | 978-88-85280-15-1 | 1993 | Frederic Patricelli |
| Static Analysis: 5th International Symposium, SAS'98, Pisa, Italy, September 14-16, 1998, Proceedings | | 978-3-540-65014-0 | 2008 |
| Tapsoft '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development Pisa, Italy, March 23-27, 1987: Advanc | | 978-0-387-17611-6 | 1987 | Hartmut Ehrig · Robert Kowalski |
| Tapsoft '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development Pisa, Italy, March 23-27, 1987: Advance | | 978-0-387-17660-4 | 1987 | Hartmut Ehrig · Robert Kowalski |
| TAPSOFT '87. Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23 - 27 1987: Volume ... | | 978-3-540-17611-4 | 2008 | Hartmut Ehrig · Ugo Montanari · Robert A. Kowalski |
| TAPSOFT '87. Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 1987: Volume 1: ... Notes in Computer Science , Band 249) | | 978-3-540-17660-2 | 2008 | Ugo Montanari · Hartmut Ehrig · Robert Kowalski |
| Verification, Model Checking, and Abstract Interpretation: 5th International Conference, VMCAI 2004 Venice, Italy, January 11-13, 2004 Proceedings: ... Notes in Computer Science , Band 2937) | | 978-3-540-20803-7 | 2009 | Bernhard Steffen |