Logique Travaux Dirigés - Partie 7 Corrigés - Université Bretagne Sud
L'annexe 2 contient des développement autour de la notion de stratégie (de preuve). Il est nécessaire d'étudier ces annexes avant d'aborder les exercices du TD.
L'annexe 2 contient des développement autour de la notion de stratégie (de preuve). Il est nécessaire d'étudier ces annexes avant d'aborder les exercices du TD.