Algorithme d'unification
De AgregmathKL
Où l'on montre la terminaison et la correction de la méthode "jefaistoutàlarrachedansnimportequelordre".
- Dernière modification de cette page le 26 février 2015 à 21:13.
- Cette page a été consultée 7 940 fois.
