Formale Methoden und Deduktion
Prof. Dr. J. Avenhaus
Impressum
Anbieter Technische Universität Kaiserslautern
Gottlieb-Daimler-Straße, Gebäude 47
67663 Kaiserslautern
Präsident Prof. Dr. Helmut J. Schmidt
E-Mail: praesident@uni-kl.de Telefon: +49 631 205 2201
Telefax: +49 631 205 3200
Die Technische Universität Kaiserslautern ist eine Körperschaft des
öffentlichen Rechts. Sie wird durch den Präsidenten
Prof. Dr. Helmut J. Schmidt gesetzlich vertreten.
Umsatzsteueridentifikationsnummer: DE 148 642 087
Aufsichtsbehörde Ministerium für Wissenschaft, Weiterbildung, Forschung und Kultur
Mittlere Bleiche 61
55116 Mainz
Inhaltliche Verantwortung für das Angebot http://www-avenhaus.informatik.uni-kl.de/ Fachbereich Informatik
AG Formale Methoden und Deduktion
Postfach 3049
67653 Kaiserslautern
Leitung Prof. Dr. Jürgen Avenhaus
E-Mail: avenhaus@informatik.uni-kl.de Telefon: +49 631 205 2633
Telefax: +49 631 205 2156
Haftung - Disclaimer Die Technische Universität Kaiserslautern haftet nur für
eigene Inhalte nach den allgemeinen Gesetzen. Sie übernimmt keine
Gewähr für die Aktualität, Korrektheit,
Vollständigkeit oder Qualität der bereitgestellten Daten und
Informationen.
Inhalte anderer Anbieter, auf die die Technische Universität
Kaiserslautern mittels direkter oder indirekter Verknüpfungen
(Links) hinweist, spiegeln nicht die Meinung der Technischen
Universität Kaiserslautern wieder. Sie ist nicht für die
Inhalte anderer Anbieter verantwortlich.
Für die Inhalte rechtlich selbständiger Einrichtungen und
einzelner zugelassener Nutzer auf den IT-Systemen der Technischen
Universität Kaiserslautern sind diese Anbieter selbst
verantwortlich.
