Ф 5-9/321
Люксембург, Андрей Анатольевич
.
Автоматизированное построение математических теорий / А. А. Люксембург. - М. : Едиториал УРСС, печ. 2005. - 29,1 с. : ил. - (Relata Refero). - Библиогр.: с. 30. -
ISBN
5-354-01005-5 : Б. ц. р., Б.ц р.
ББК
В19с31
Рубрики:
Вычислительные машины персональные--Применение в математике
Примірників всього:
2
ХР (1), ЧЗ (1)
Свободны:
ХР (1), ЧЗ (1)