Reinhard Kahle

• Adresse
• Publications
• Enseignements
• Conférences
• Thèmes de recherche
• Cartes et accès

  ---

• ASL Typesetting Office

  ---

• Quelques liens utiles.

Adresse :

CENTRIA, Universidade Nova de Lisboa, Departamento de Informática
Bureau 2.52 Bâtiment II
P-2829-516 Caparica
Téléphone (Bureau) : 21-2948536 ou 00351-21-2948536 demander le poste 10756.
Fax : 21-2948541 ou 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

Téléphone portable : 96-7973901 ou 00351-96-7973901

E-mail : reinhard@kahle.ch

Thèmes de recherche

• Théorie de la démonstration
• Programmation logique
• Programmation fonctionnelle
• Intensionnalité
• Histoire de la logique

Cartes et accès

• Tübingen
  • Carte de la ville
  • Accès au WSI (en allemand)
• Bovenden
  • Carte de la ville
• Göttingen
  • Carte de la ville