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