Большой англо-русский и русско-английский словарь
мат. правило вывода
Англо-русский словарь технических терминов
правило (логического) вывода; правило порождающей грамматики
derivation rule в энциклопедиях
мат. правило вывода
правило (логического) вывода; правило порождающей грамматики