Вы здесь

Доказательство теорем в математической информационной среде

Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
1998
Стр.: 
С.3-12.
Библиография: 
Библиогр.: c.12
Номер: 
4
Карточка: 

Б2.1, Б2.34.

Капитонова Ю. В., Летичевский А. А..

Доказательство теорем в математической информационной среде// Кибернетика и системный анализ-1998, №4.-С.3-12.
Библиогр.: c.12

Таблица в старой библиотеке: 
PAP18 536