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