Значение слова "DECISION PROCEDURE" найдено в 11 источниках

DECISION PROCEDURE

найдено в "Новом большом англо-русском словаре"

[dıʹsıʒ(ə)nprəʹsi:dʒə]

1. спец. процедура принятия решения; алгоритм

2. лингв. процедура распознавания; автоматический анализ

decision procedure for sentences - автоматический (синтаксический) анализ предложений, процедура распознавания синтаксических структур

найдено в "Новом большом англо-русском словаре под общим руководством акад. Ю.Д. Апресяна"

{dıʹsıʒ(ə)nprəʹsi:dʒə}

1. спец. процедура принятия решения; алгоритм

2. лингв. процедура распознавания; автоматический анализ

~ for sentences - автоматический (синтаксический) анализ предложений, процедура распознавания синтаксических структур

найдено в "Новом большом англо-русском словаре"

decision procedure
[dıʹsıʒ(ə)nprəʹsi:dʒə] 1. спец. процедура принятия решения; алгоритм
2. лингв. процедура распознавания; автоматический анализ
~ for sentences - автоматический (синтаксический) анализ предложений, процедура распознавания синтаксических структур

найдено в "Philosophy dictionary"

decision procedure: translation

See algorithm.

найдено в "Англо-українському словнику технічних термінів"

Розв'язувальна процедура

алгоритм вибору

найдено в "Англо-русском словаре по компьютерам"

1) процедура принятия решений 2) логика разрешающая процедура, алгоритм

найдено в "Англо-русском словаре по экономике"

Процесс принятия решений

найдено в "Англо-русском словаре компьютерных терминов"

1) процедура принятия решений 2) разрешающая процедура, алгоритм