THEOREM-PROVING SYSTEM


Англо-русский перевод THEOREM-PROVING SYSTEM

мат. система доказательства теоремы

Big English-Russian dictionary .      Большой Англо-Русский словарь.