Russian ⇄ English

машинное доказательство теорем stresses
progr.	theorem proving (одно из направлений исследований и разработок в области искусственного интеллекта ssn)