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

THEOREM-PROVING SYSTEM

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

English-Russian scientific and technological dictionary .      Англо-Русский научно-технический словарь.