бинарный парамодулянт Мат. binary paramodulant Источник: Полный русско-английский словарь на Gufo.me Предложить изменения бинарный оператор бинарный пересчетный
