DERIVATIONAL HISTORY


Англо-русский перевод DERIVATIONAL HISTORY

последовательность (выполененных) шагов логического вывода; проф. деривационная предыстория (выведенного системой утверждения)

New large English-Russian dictionary .      Новый большой Англо-Русский словарь.