DiccionariosForoContactos

   Inglés Alemán +
Google | Forvo | +

Knuth-Bendix completion procedure

intel. Knuth-Bendix-Vervollständigungsalgorithmus n (beim Theorembeweisen)