Translation of "theorem proving" into Russian

доказательство теорем is the translation of "theorem proving" into Russian.

theorem proving
+ Add

English-Russian dictionary

  • доказательство теорем

    noun neuter

    General purpose modules are constructed on the basis of theorem proving (with use of Event Calculus) and model checking methods.

    Модули общего назначения построены на основе методов доказательства теорем с использованием исчисления событий и методов проверки на модели.

  • Show algorithmically generated translations

Automatic translations of "theorem proving" into Russian

  • Glosbe

    Glosbe Translate
  • Google

    Google Translate
Add

Translations of "theorem proving" into Russian in sentences, translation memory