Подробное описание документа
Калошина И. П.
Автоматическое доказательство теорем и его математические модели / Калошина И. П. - М., 1996. - 56 с. прил. - Библиогр.:
2 экз.
Вы можете получить данный документ в одном из следующих отделов
- Преподавательский абонемент ауд.313, ГУК, ауд. 313
- Читальный зал ауд.313, ГУК, ауд. 313
- Читальный зал ауд.345, ГУК, ауд. 345
