%0 Thesis %1 phd/hal/Hoffmann10 %A Hoffmann, Guillaume %D 2010 %K %T Tâches de raisonnement en logiques hybrides. (Reasoning Tasks for Hybrid Logics).

@phdthesis{phd/hal/Hoffmann10, added-at = {2023-12-13T02:56:35.000+0100}, author = {Hoffmann, Guillaume}, biburl = {https://www.bibsonomy.org/bibtex/285ff104ea7a152089536be155e8d9503/admin}, ee = {https://tel.archives-ouvertes.fr/tel-01746342}, interhash = {859844f14d2deff9ebe3b3d24e5e5458}, intrahash = {85ff104ea7a152089536be155e8d9503}, keywords = {}, school = {Henri Poincaré University, Nancy, France}, timestamp = {2023-12-13T02:56:35.000+0100}, title = {Tâches de raisonnement en logiques hybrides. (Reasoning Tasks for Hybrid Logics).}, year = 2010 }