俄语 ⇄ 英语

主题类别	俄语	英语
数学	алгоритм включения	valve algorithm
统计数据	алгоритм пошагового включения переменных	stepwise variable selection (julchik)
编程	алгоритмы верификации моделей для формул CTL и для формул LTL, а также проверки включения временных омега-автоматов	algorithms for CTL model checking, LTL model checking, and testing inclusion between timed omega automata (ssn)
编程	алгоритмы проверки включения временных омега-автоматов	algorithms for testing inclusion between timed omega automata (ssn)