Rechercher dans
Nos Events & Actus
Expressivité de la logique du premier ordre, de la logique dynamique propositionnelle sans étoile et des automates communicants
Expressivité de la logique du premier ordre, de la logique dynamique propositionnelle sans étoile et des automates communicants
Université Ibn Khaldoun
Date de soutenance: 29-03-2016
