Communication Dans Un Congrès
Année : 2010
Documentation IRIT : Connectez-vous pour contacter le contributeur
https://hal.science/hal-03474447
Soumis le : vendredi 10 décembre 2021-11:14:45
Dernière modification le : lundi 20 novembre 2023-11:44:23
Dates et versions
Identifiants
- HAL Id : hal-03474447 , version 1
Citer
Andreas Herzig. Tableau systems for MAS logics: implementing your prover in LoTREC. Workshop on Logics for Resource-Bounded Agents at Multi-Agent Logics, Languages, and Organisations Federated Workshops (LRBA @ MALLOW 2010), Aug 2010, Lyon, France. ⟨hal-03474447⟩
Collections
9
Consultations
0
Téléchargements