Activités par an
Activités
- 1 résultats
Résultats de recherche
-
Symbolic Reasoning in Artificial Intelligence Allows for the Development of `Correct-by-Construction' Systems
Manel Barkallah (Orateur), Jean-Marie Jacquet (Orateur) & Isabelle Linden (Orateur)
23 oct. 2018Activité: Discours ou présentation › Présentation orale