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