Frank P. · Franklyn Penning · Frans Pennings · Franz Penningsfeld
| Titel | Art | ISBN-13 | Erschei- nungsjahr | andere Autoren | |
|---|---|---|---|---|---|
| Automated Deduction - CADE-21: 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings | Taschenbuch | 978-3-540-73594-6 | 2007 | ||
| Computation and Deduction | Hardcover | 978-0-521-77265-5 | 2020 | ||
| Foundations of Software Science and Computation Structures | Taschenbuch | 978-3-642-37074-8 | 2013 | ||
| Generative Programming and Component Engineering: Second International Conference, GPCE 2003, Erfurt, Germany, September 22-25, 2003, Proceedings | " | 978-3-540-20102-1 | 2008 | Yannis Smaragdakis | |
| Logic Programming and Automated Reasoning: 5th International Conference, LPAR '94, Kiev, Ukraine, July 16 - 22, 1994. Proceedings | " | 978-3-540-58216-8 | 2008 | ||
| Term Rewriting and Applications: 17th International Conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006, Proceedings | " | 978-3-540-36834-2 | 2008 | ||
| Types in Logic Programming | Hardcover | 978-0-262-16131-2 | 1992 | ||
| Types in Logic Programming | Paperback | 978-0-262-51993-9 | 1992 | ||
Cambridge University Press · Springer · The MIT Press