DERIVATIONAL HISTORY


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

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

Масловский Е.К.. English-Russian dictionary of computer science.      Англо-Русский словарь по вычислительной технике и программированию.