CORRIGÉ DU MANUEL
Exercice 9. Spécifier, en utilisant la logique propositionnelle que l'on peut colorier une carte où figurent N pays en utilisant trois couleurs différentes, de ...
Exercice 9. Spécifier, en utilisant la logique propositionnelle que l'on peut colorier une carte où figurent N pays en utilisant trois couleurs différentes, de ...