]> AND Private Git Repository - cours-maths-dis.git/blob - tpProlog/tp1/.svn/text-base/exo2.txt.svn-base
Logo AND Algorithmique Numérique Distribuée
Private GIT Repository
projects / cours-maths-dis.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
ajout initial de fichiers
[cours-maths-dis.git] / tpProlog / tp1 / .svn / text-base / exo2.txt.svn-base
1 trois faits
2 quatre règles
3 cinq prédicats
4 sept clauses
5
6  
tout le cours de maths discretes