Reinhard Kahle

• Adresse
• Veröffentlichungen
• Lehrveranstaltungen
• Tagungen
• Forschungsinteressen
• Stadtpläne und Anfahrtsbeschreibungen

  ---

• ASL Typesetting Office

  ---

• WWW-Adressen, die mich interessieren.

Adresse:

CENTRIA, Universidade Nova de Lisboa, Departamento de Informática
Zimmer 2.52 Gebäude II
P-2829-516 Caparica
Telephon (Sekretariat): 21-2948536 bzw. 00351-21-2948536 Nach Anschluß 10756 fragen (auf portugiesisch oder englisch).
Telefax: 21-2948541 bzw. 00351-21-2948541
E-mail: kahle@fct.unl.pt

Universität Tübingen, WSI
D-72076 Tübingen
Sand 13
E-mail: kahle@informatik.uni-tuebingen.de

Funktelephon: 96-7973901 bzw. 00351-96-7973901

E-mail: reinhard@kahle.ch

Forschungsinteressen

• Beweistheorie
• Logikprogrammierung
• Funktionale Programmierung
• Intensionalität
• Geschichte der Logik

Stadtpläne und Anfahrtsbeschreibungen

• Tübingen
  • Stadtplan
  • Anfahrtsbeschreibungen zum WSI
• Bovenden
  • Fleckenplan
• Göttingen
  • Stadtplan