Options d'inscription

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.

Les visiteurs anonymes ne peuvent pas accéder à ce cours. Veuillez vous connecter.