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


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

мат. theorem-proving heuristics

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