Si vous avez apporté des modifications à Pure, elles seront bientôt visibles.

Activités

Filtrer
Présentation orale

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. 2018

Activité: Types de discours ou de présentationPrésentation orale