Описание / Карточка / Поля MARC | Действия | |
---|---|---|
Автор | Кожевников, Арист Александрович |
загрузить
в подборку |
Заглавие | Сложность пропозициональных систем доказательств, оперирующих неравенствами : автореферат дис. ... кандидата физико-математических наук : 01.01.06 | |
Выходные данные | Санкт-Петербург 2007 | |
Физическое описание | 15 с. | |
Тема | Физико-математические науки -- Математика -- Математическая логика -- Аксиоматика математической логики | |
Ключевые слова |
доказательства (мат.) |
|
Ключевые слова |
неравенства |
|
Хранение | 9 07-3/2050; | |
Электронный адрес |
Электронный ресурс |