Proceedings of the 11th Conference on Advances in Modal Logic (AiML'16) - Archive ouverte HAL Accéder directement au contenu
Ouvrages Année : 2016

Proceedings of the 11th Conference on Advances in Modal Logic (AiML'16)

Lev Dmitrievich Beklemishev
  • Fonction : Directeur scientifique
Steklov Mathematical Institute [Moscow]
Stéphane Demri
Centre National de la Recherche Scientifique
Laboratoire Spécification et Vérification [Cachan]
CV
Andras Maté
  • Fonction : Directeur scientifique
Eötvös Loránd University

Résumé

Proceedings of the conference AiML'16. Volume available online http://www.aiml.net/volumes/volume11

Domaines

Informatique [cs] Logique en informatique [cs.LO] Intelligence artificielle [cs.AI]

Stéphane Demri  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-03191063

Soumis le : mardi 6 avril 2021-18:54:09

Dernière modification le : jeudi 30 novembre 2023-03:56:43

Fichier non déposé

Dates et versions

hal-03191063 , version 1 (06-04-2021)

Identifiants

  • HAL Id : hal-03191063 , version 1

Citer

Lev Dmitrievich Beklemishev, Stéphane Demri, Andras Maté (Dir.). Proceedings of the 11th Conference on Advances in Modal Logic (AiML'16). , 2016, 978-1-84890-201-5. ⟨hal-03191063⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS ENS-CACHAN UNIV-PARIS-SACLAY ENS-PARIS-SACLAY
41 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More