Akademik

theorem-proving system

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

Большой англо-русский и русско-английский словарь. 2001.