08273349X
2004-12-15
2020-10-21T02:47:22
Preuves et sémantiques dans des logiques de ressources / par Daniel Méry, 2004
0000-0002-1886-2106
0000000358744259
male
Méry, Daniel (1974-....)
Méry
Daniel
Daniel Méry
1974
Titulaire d'un doctorat d'université en Informatique (Nancy 1, 2004)
Preuves et sémantiques dans des logiques de ressources / Daniel Méry ; sous la dir. de Didier Galmiche / , 2004
Preuves et sémantiques dans des logiques de ressources / Daniel Méry ; sous la direction de Didier Galmiche / Grenoble : Atelier national de reproduction des thèses , 2004
Preuves et sémantiques dans des logiques de ressources / Daniel Méry le 2004 [ Nancy 1 ]