Fachgebiet Automatic Reasoning

Leiter Der Gruppe                                                 Prof. Dr. Anthony Lin E-Mail:  lin@cs.uni-kl.de Postadresse: Postfach 3049 67663 Kaiserslautern Hausadresse: Gebäude 34, Raum 419 Gottlieb-Daimler-Str. 67663 Kaiserslautern Tel: (0631) 205-3330

 

Sekretärin                                                      Frau Judith Stengel E-Mail: stengel@informatik.uni-kl.de Postadresse: Postfach 3049 67663 Kaiserslautern Hausadresse: Gebäude 34, Raum 410 Gottlieb-Daimler-Str. 67663 Kaiserslautern Tel: (0631) 205-3536 Bürozeiten: Mo.-Do. 9:00-12:00 Uhr