R.K. · Reinhard Kahl · Reinhard Keil · Reinhard Kühl · Reinhardt Kiehl · Rinhardt Kiehl
A K Peters/CRC Press · Springer Berlin Heidelberg
| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren | |
|---|---|---|---|---|
| Computer Science Logic: 23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009, ... Computer Science and General Issues) | 978-3-642-04026-9 (3-642-04026-8) | 2009 | Erich Grädel | |
| Intensionality | 978-1-56881-268-7 (1-56881-268-X) | 2005 | ||
| Proof Theory in Computer Science: International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings | 978-3-540-42752-0 (3-540-42752-X) | 2001 | Robert Stärk · Peter Schroeder-Heister | |