СловникиФорумКонтакти

   Англійська Німецька +
Google | Forvo | +

Knuth-Bendix completion procedure

шт.інтел. Knuth-Bendix-Vervollständigungsalgorithmus n (beim Theorembeweisen)