Сложность пропозициональных систем доказательств, оперирующих неравенствами

Кожевников Арист Александрович. Сложность пропозициональных систем доказательств, оперирующих неравенствами : диссертация... кандидата физико-математических наук : 01.01.06 Санкт-Петербург, 2007 96 с. РГБ ОД, 61:07-1/894
Автор
Кожевников Арист Александрович
Год
2007

  • 99 000 UZS

Рекомендуем вам товары

Нетривиальные псевдохарактеры на группах
99 000 UZS
Автор
Каган Дмитрий Зиновьевич
Количество страниц
Год
2007
Аппроксимация полугрупп гомоморфизмами специального вида
99 000 UZS
Автор
Снетков Олег Александрович
Количество страниц
Год
2008
Классификация некоторых коизотропных действий алгебраических групп
99 000 UZS
Автор
Лосев Иван Вадимович
Количество страниц
Год
2007
Разложение Брюа для двойных грассманианов
99 000 UZS
Автор
Смирнов Евгений Юрьевич
Количество страниц
Год
2008
Некоторые вопросы насыщенности и распознаваемости в периодических группах
99 000 UZS
Автор
Лыткина Дарья Викторовна
Количество страниц
Год
2007
Новостной блок
Модули для Opencart 2, Опенкарт 3