СИСТЕМА ДОКАЗАТЕЛЬСТВА ТЕОРЕМЫ


Русско-английский перевод СИСТЕМА ДОКАЗАТЕЛЬСТВА ТЕОРЕМЫ

мат. theorem-proving system

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