Telecharger Cours

Logique et Déduction - Cours 2 - Utilisation de SAT-solveurs

Nous abordons ici un problème de mathéma- tique resté encore sans réponse: celui de la. «brique de Pythagore » (appelée aussi. <<Brique parfaite d'Euler»).



Download