Вы здесь
Доказательство теорем в математической информационной среде
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
1998
Ключевые слова:
Стр.:
С.3-12.
Библиография:
Библиогр.: c.12
Источник:
Номер:
4
Карточка:
Б2.1, Б2.34.
Капитонова Ю. В., Летичевский А. А..
Доказательство теорем в математической информационной среде// Кибернетика и системный анализ-1998, №4.-С.3-12.
Библиогр.: c.12
Таблица в старой библиотеке:
PAP18 536