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