Identifiant pérenne de la notice : 18565309X
Notice de type
Personne
Logiques de ressources dynamiques : modèles, propriétés et preuves / Jean-René Courtault
; sous la dir. de Didier Galmiche. Thèse de doctorat : Informatique : Université de
Lorraine : 2015