SłownikiForumKontakt

   Angielski Niemiecki +
Google | Forvo | +

Knuth-Bendix completion procedure

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