Utilisateur:PhilippeMuller

De Sémanticlopédie

Révision datée du 9 octobre 2006 à 14:58 par PhilippeMuller (discussion | contributions) (→‎Contributions)

(diff) ← Version précédente | Voir la version actuelle (diff) | Version suivante → (diff)

Aller à : navigation, rechercher

Maître de Conférences en Informatique

Institut de Recherche en Informatique de Toulouse Université Paul Sabatier

muller /at/ irit.fr

http://www.irit.fr/~Philippe.Muller/

Contributions

Structures d'ordre, Lambda-calcul
opérations: unification (en cours de traduction wiki)
logiques temporelles (en cours de traduction wiki)
common ground (en cours)
lfg, glue logics (en cours)

Récupérée de « https://dicosem.llf-paris.fr/w/index.php?title=Utilisateur:PhilippeMuller&oldid=1977 »