Symbolic Reasoning in Artificial Intelligence Allows for the Development of `Correct-by-Construction' Systems
- Barkallah, M. (Orateur)
- Jacquet, J. (Orateur)
- Linden, I. (Orateur)
Activité: Discours ou présentation › Présentation orale
Activité: Discours ou présentation › Présentation orale