Options d’inscription

I4IRIF11 - Logique Formelle & Programmation Logique

Cours de Logique:
- logique propositionnelle
- logique du premier ordre
- principe de résolution
- programmation logique: Prolog
Auto-inscription (Étudiant)
Auto-inscription (Étudiant)
Les visiteurs anonymes ne peuvent pas accéder à ce cours. Veuillez vous connecter.