| Titel | Art | ISBN-13 | Erschei-
nungsjahr | andere Autoren |
|---|
| Advances in Proof-Theoretic Semantics | Taschenbuch | 978-3-319-36781-1 | 2016 | Thomas Piecha |
| Advances in Proof-Theoretic Semantics | Gebunden | 978-3-319-22685-9 | 2015 | " |
| Extensions of Logic Programming: 5th International Workshop, ELP '96, Leipzig, Germany, March 28 - 30, 1996. Proceedings. | Taschenbuch | 978-3-540-60983-4 | 2008 | Heinrich Herre · Roy Dyckhoff |
| Extensions of Logic Programming: International Workshop, T??bingen, FRG, December 8-10, 1989. Proceedings: International Workshop, Tübingen, FRG, ... Notes in Computer Science , Band 475) | " | 978-3-540-53590-4 | 2008 |
| Extensions of Logic Programming: Second International Workshop, ELP '91, Stockholm, Sweden, January 27-29, 1991. Proceedings | Paperback | 978-3-662-19760-8 | 2014 | Lars-Henrik Eriksson · Lars Hallnäs |
| Extensions of Logic Programming: Second International Workshop, ELP '91, Stockholm, Sweden, January 27-29, 1991. Proceedings | Taschenbuch | 978-3-540-55498-1 | 2008 | Lars-Henrik Eriksson · Lars Halln??s |
| Proof Theory in Computer Science: International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings | " | 978-3-540-42752-0 | 2008 | Reinhard Kahle · Robert St??rk |