Вы здесь
Автоматизация поиска доказательств некоторых теорем анализа
Количество экземпляров:
1
Вид:
Автореферат
Год:
1968
Ключевые слова:
Стр.:
10 с.
Библиография:
Библиогр.: c.10
Место защиты:
Номер специальности:
009
Карточка:
Пшеничникова С. В..
Автоматизация поиска доказательств некоторых теорем анализа: Автореферат диссертации на ученую степень: канд. физ.-мат. наук.: 009.-Киев, 1968.-10 с.
Библиогр.: c.10