خيارات التسجيل

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.

لا يمكن للضيوف الوصول إلى هذا المساق. يرجى تسجيل الدخول.