R.K. · Reinhard Kahl · Reinhard Kühl · Reinhardt Kiehl · Rinhardt Kiehl
AK Peters, Ltd. · Springer, Berlin
| 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 / Theoretical Computer Sci) | 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: International Seminar, ... | 978-3-540-42752-0 (3-540-42752-X) | 2001 | Peter Schroeder-Heister · Stärk, Robert | |