Discuter:Knuth-Bendix (algorithme)
Un article de Wikipédia, l'encyclopédie libre.
[modifier] Procédure vs algorithme
Dans cet article la terminologie est fluctuante. Pierre de Lyon 24 août 2006 à 09:51 (CEST)
Dans cet article la terminologie est fluctuante. Pierre de Lyon 24 août 2006 à 09:51 (CEST)