Описание / Карточка / Поля MARC | Действия | |
---|---|---|
Автор | Гречаник, Сергей Александрович |
загрузить
в подборку |
Заглавие | Доказательство свойств функциональных программ методом насыщения равенствами : автореферат дис. ... кандидата физико-математических наук : 05.13.11 | |
Выходные данные | Москва 2017 | |
Физическое описание | 20 с. | |
Тема | Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей | |
Тема | Физико-математические науки -- Математика -- Теория вероятностей и математическая статистика -- Исследование операций -- Математическое программирование | |
Хранение | 9 18-1/77; | |
Электронный адрес |
Электронный ресурс |