Algorithme d'unification

De AgregmathKL
Aller à : navigation, rechercher

Où l'on montre la terminaison et la correction de la méthode "jefaistoutàlarrachedansnimportequelordre".

Recasement

Développement