Symbolic Reasoning in Artificial Intelligence Allows for the Development of `Correct-by-Construction' Systems

Activité: Discours ou présentation Présentation orale

Période23 oct. 2018
Tenu àFaculte d'informatique
Degré de reconnaissanceNational