«deduction-oriented language»

Большой англо-русский и русско-английский словарь Англо-русский словарь технических терминов