DiccionariosForoContactos

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

Knuth-Bendix completion procedure

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