Автоматизация поиска доказательств некоторых теорем анализа

Пшеничникова, С. В., 1968, кандидатская диссертация

Киев

10 стр.