Dynamic epistemic logic / by Hans van Ditmarsch, Wiebe van der Hoek, Barteld Kooi,
2008
Dynamic epistemic logic / by Hans van Ditmarsch, Wiebe van der Hoek and Barteld Kooi,
Springer, 2007
Internet : LCA (30/11/2007)
Internet, http://personal.us.es/hvd/, 2011-04-22
Information trouvée : Enseignant - chercheur, département de logique, université de Séville
Logic, rationality, and interaction: third international workshop, LORI 2011, Guangzhou,
China, October 10-13, 2011: proceedings / Hans van Ditmarsch, Jérôme Lang, Shier Ju
(eds.), 2011
http://id.loc.gov/authorities/names/nr2007012279, 2019-06-28
Information trouvée : Ditmarsch, Hans van, 1959-. - Forme rejetée : Van Ditmarsch, Hans ; Ditmarsch, H.
P. van (Hans P. van). - Naissance : 1959
http://personal.us.es/hvd/, 2019-06-28
Information trouvée : Mathématicien. Directeur de recherche CNRS, responsable de l'équipe Computational
epistemic logic in Lorraine (CELLO), Laboratoire lorrain de recherche en informatique
et ses applications (LORIA, UMR7503), Vandoeuvre-lès-Nancy, Meurthe-et-Moselle
https://catalogue.bnf.fr/ark:/12148/cb15671190n, 2019-06-28
Information trouvée : Ditmarsch, Hans van. - Forme rejetée : Van Ditmarsch, Hans
https://www.irit.fr/LILaC/site/team/, 2024-01-31
Information trouvée : Membre permanent de l'Institut de Recherche en Informatique de Toulouse (IRIT) en
2023