| English | Russian |
| annual satisfiability modulo theories competition | ежегодный конкурс решателей задач выполнимости формул в теориях (Alex_Odeychuk) |
| applied lattice theory | прикладная теория решёток (Darkwing duck) |
| artificial intelligence theory | теория искусственного интеллекта (Alex_Odeychuk) |
| automatic theorem prover for satisfiability modulo theories | автоматический доказатель теорем о выполнимости формул в теориях (Alex_Odeychuk) |
| automatic theorem prover for satisfiability modulo theories problems | автоматический доказатель теорем для задач выполнимости формул в теориях (Alex_Odeychuk) |
| base of theories | база теорий (Microsoft Alex_Odeychuk) |
| built-in base theory | встроенная базовая теория (Alex_Odeychuk) |
| built-in logical theory | встроенная логическая теория (Alex_Odeychuk) |
| combinations of theories | комбинация теорий (множество формул в объединенной сигнатуре, являющееся дедуктивным замыканием их объединения Alex_Odeychuk) |
| computational cognitive theory of human deductive reasoning | вычислительная когнитивная теория дедуктивного мышления человека (Alex_Odeychuk) |
| computational theory of mind | вычислительная теория сознания (Alex_Odeychuk) |
| computational theory of the mind | вычислительная теория сознания (Alex_Odeychuk) |
| core theory | корневой тип (базовая теория; в терминологии ведущих языков программирования Alex_Odeychuk) |
| custom theory | пользовательская теория (Microsoft Alex_Odeychuk) |
| custom theory | специальная теория (Microsoft Alex_Odeychuk) |
| fuzzy neural network theory | теория нейронных сетей с нечёткой логикой (Alex_Odeychuk) |
| goal-setting theory | теория целеобразования (Alex_Odeychuk) |
| international workshop on satisfiability modulo theories | международный семинар по решению задач выполнимости формул в теориях (Alex_Odeychuk) |
| satisfiability modulo theories | выполнимость формул в теориях (разрешимость логических формул с учётом лежащих в их основе теорий. Примерами таких теорий являются: теории целых и вещественных чисел, теории списков, массивов, битовых векторов и т. п. Alex_Odeychuk) |
| satisfiability modulo theories | задача выполнимости формул в теориях (задача выполнимости логической формулы, выраженной в классической логике первого порядка с равенством, при наличии дополнительных соотношений, заданных при помощи определенных теорий; часто используемыми на практике примерами теорий являются теории вещественных и целых чисел, а также теории поведения различных структур данных, таких как списки, массивы, битовые вектора и т.д. Alex_Odeychuk) |
| satisfiability modulo theories competition | конкурс решателей задач выполнимости формул в теориях (Alex_Odeychuk) |
| satisfiability modulo theories problem | задача выполнимости формул в теориях (Alex_Odeychuk) |
| satisfiability modulo theories solver | решатель задач выполнимости формул в теориях (Alex_Odeychuk) |
| satisfiability modulo theories solving | решение задач выполнимости в теориях (Microsoft Alex_Odeychuk) |
| satisfiability of logical formulas over one or more theories | выполнимость логических формул в одной и более теориях (Alex_Odeychuk) |
| semantic network theory | теория семантических сетей (Alex_Odeychuk) |
| statistical learning theory | теория статистического обучения (Alex_Odeychuk) |
| theory of human practical reasoning | теория человеческих практических рассуждений (Michael Bratman's theory (also referred to as Belief-Desire-Intention, or BDI) Alex_Odeychuk) |
| theory of machine learning | теория машинного обучения (Alex_Odeychuk) |
| theory of neural group selection | теория отбора групп нейронов (Alex_Odeychuk) |
| workshop on satisfiability modulo theories | семинар по решению задач выполнимости формул в теориях (Alex_Odeychuk) |
