Title: Avtomatizat︠s︡ii︠a︡ obrabotki matematicheskikh tekstov i voprosy sozdanii︠a︡ robotov
Subjects: Robotics, Automatic theorem proving