Reinhard Kahle

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)
2009Erich 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)
2001Peter Schroeder-Heister · Stärk, Robert

 

Reinhard Kaiser