Algorithme d'unification : Différence entre versions
De AgregmathKL
(Page créée avec « Où l'on montre que la terminaison et la correction de la méthode "jefaistoutàlarrachedansnimportequelordre" ==Recasement== * [[919 -- Unification : algorithmes et appli… ») |
|||
| (Une révision intermédiaire par un autre utilisateur non affichée) | |||
| Ligne 1 : | Ligne 1 : | ||
| − | Où l'on montre | + | Où l'on montre la terminaison et la correction de la méthode "jefaistoutàlarrachedansnimportequelordre". |
==Recasement== | ==Recasement== | ||
| 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 à 21:13
Où l'on montre la terminaison et la correction de la méthode "jefaistoutàlarrachedansnimportequelordre".
