Большой англо-русский и русско-английский словарь
algorithmic deduction
Англо-русский словарь технических терминов
algorithmic deduction
Русско-английский политехнический словарь
algorithmic deduction
«алгоритмический вывод»
алгоритмический вывод в энциклопедиях