Activités par an
Activités
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é: Types de discours ou de présentation › Présentation orale