Opzioni di iscrizione

AI27 - Résolution de problèmes et programmation logique (Apprentissage)

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.

Gli ospiti non possono entrare in questo corso, per favore autenticati.