Cette UV a pour objectif de faire découvrir des méthodes de résolution de problèmes via la démonstration automatique et la programmation logique, ou par l'application de techniques de recherche.
- Responsable: Lagrue Sylvain
选课选项
访客不能访问此课程，请登录。
Cette UV a pour objectif de faire découvrir des méthodes de résolution de problèmes via la démonstration automatique et la programmation logique, ou par l'application de techniques de recherche.