Thèse en cours

Techniques de raisonnement automatique pour les logiques hybrides Automated reasoning techniques for hybrid logics

FR

Accès à la thèse

Triangle exclamation pleinLa soutenance a eu lieu le 09/12/2009. Le document qui a justifié du diplôme est en cours de traitement par l'établissement de soutenance.
Auteur / Autrice : Daniel alejandro Gorin
Direction : Patrick BlackburnVeronica Becher
Type : Projet de thèse
Discipline(s) : Informatique
Date : Inscription en doctorat le 02/09/2008
Soutenance le 09/12/2009
Etablissement(s) : Université de Lorraine en cotutelle avec Université de Buenos Aires
Ecole(s) doctorale(s) : Informatique, Automatique, Electronique-Electrotechnique, Mathématiques
Partenaire(s) de recherche : Equipe de recherche : Laboratoire lorrain de Recherche en Informatique et ses Applications
Etablissement d'accueil : Université de Buenos Aires
Jury : Président / Présidente : Pedro D'argenio
Examinateurs / Examinatrices : Patrick Blackburn, Veronica Becher, Carlos Areces, Hala Skaf
Rapporteurs / Rapporteuses : Gabriel Infante lopez, Gert Smolka

Mots clés

FR

Mots clés libres