Algorithme d'unification : Différence entre versions
De AgregmathKL
m |
|||
| Ligne 11 : | Ligne 11 : | ||
*[[Fichier:Tex.png|alt=Tex|link=|24px]] [[Média:dvt_unif.tex | Algorithme d'unification]] | *[[Fichier:Tex.png|alt=Tex|link=|24px]] [[Média:dvt_unif.tex | Algorithme d'unification]] | ||
*[[Fichier:Pdf.png|alt=Tex|link=|24px]] [[Média:dvt_unif.pdf | Algorithme d'unification]] | *[[Fichier:Pdf.png|alt=Tex|link=|24px]] [[Média:dvt_unif.pdf | Algorithme d'unification]] | ||
| + | |||
| + | |||
| + | [[Category: Développement de la leçon 919]] | ||
| + | [[Category: Développement de la leçon 927]] | ||
Version actuelle en date du 26 février 2015 à 22:13
Où l'on montre la terminaison et la correction de la méthode "jefaistoutàlarrachedansnimportequelordre".
