Расширенный поиск
Найдены 2 записи.
№ | Автор | Заглавие ▼ | Данные | Действия |
---|---|---|---|---|
1. | Кожевников, Арист Александрович | Сложность пропозициональных систем доказательств, оперирующих неравенствами : диссертация ... кандидата физико-математических наук : 01.01.06 Количество страниц: 96 с. 61 07-1/894 Электронный ресурс |
Санкт-Петербург, 2007 |
описание
загрузить в подборку |
2. | Кожевников, Арист Александрович | Сложность пропозициональных систем доказательств, оперирующих неравенствами : автореферат дис. ... кандидата физико-математических наук : 01.01.06 / Кожевников Арист Александрович; [Место защиты: С.-Петерб. гос. ун-т] Количество страниц: 15 с. 9 07-3/2050 Электронный ресурс |
Санкт-Петербург, 2007 |
описание
загрузить в подборку |