Akademik
система доказательства теоремы
мат
.
theorem-proving system
Большой англо-русский и русско-английский словарь
.
2001
.