Полный текст публикации: Программа для механического доказательства планиметрических теорем рационального типа (Механическое доказательство теорем) : регистрация программы для ЭВМ

Полный текст не загружен, но возможно он доступен по одной из следующих ссылок:

  1. РИНЦ (eLIBRARY.RU) (справа ссылка «Загрузить полный текст»)
  2. Поиск в Академии Google

Вернуться на страницу публикации