Options d’inscription

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.