theorem scheme Мат. теоремная схема Источник: Полный англо-русский словарь на Gufo.me Предложить изменения theorem proving theorem-finding heuristics
