DERIVATIONAL HISTORY


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

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

Big English-Russian dictionary .      Большой Англо-Русский словарь.