Approches LOGIques pour la Modélisation, l’Interprétation des données et la Complexité des Systèmes

Mots clefs : Formalismes, méthodes ou outils informatiques fondés sur la logique, les probabilités, la théorie des catégories, la théorie des modèles, la morphologie mathématique, les treillis, les automates