Опарин Всеволод Владиславович. Оценки сложности вывода в системах доказательств, основанных на методе резолюций

catalog / Philology / Russian language. Languages of the peoples of Russia




  • скачать файл:
  • title:
  • Опарин Всеволод Владиславович. Оценки сложности вывода в системах доказательств, основанных на методе резолюций
  • The number of pages:
  • 240
  • university:
  • Воронежский государственный университет
  • The year of defence:
  • 2016
  • brief description:
  • Опарин Всеволод Владиславович. Оценки сложности вывода в системах доказательств, основанных на методе резолюций: диссертация ... кандидата Физико-математических наук: 01.01.06 / Опарин Всеволод Владиславович;[Место защиты: ФГБУН Санкт-Петербургское отделение Математического института имени В.А. Стеклова Российской академии наук], 2016.- 95 с.
  • bibliography:
  • -
  • Стоимость доставки:
  • 230.00 руб


SEARCH READY THESIS OR ARTICLE




Доставка любой диссертации из России и Украины


THE LAST THESIS

Магниточувствительные люминесцентные процессы с участием триплетных молекул и экситонов в наноструктурах Пеньков Сергей Александрович
Исследование фотофизических свойств молекул NADH в растворах методами фемтосекундной поляризационной лазерной спектроскопии Горбунова Иоанна Алексеевна
Исследование фотофизических свойств фотосенсибилизатора Радахлорин в растворах клетках и на органических поверхностях с помощью флуорисцентных и голографических методов Жихорева Анна Александровна
Multiscale computational method for plasmonic nanoparticle lattices/Разномасштабный вычислительный метод для решеток плазмонных наночастиц Фрадкин Илья Маркович
Исследование структурных дефектов наноразмерных аморфных углеродных пленок методами спектроскопии комбинационного рассеяния света Сапарина Светлана Вячеславовна

THE LAST ARTICLES AND ABSTRACTS

ГБУР ЛЮСЯ ВОЛОДИМИРІВНА АДМІНІСТРАТИВНА ВІДПОВІДАЛЬНІСТЬ ЗА ПРАВОПОРУШЕННЯ У СФЕРІ ВИКОРИСТАННЯ ТА ОХОРОНИ ВОДНИХ РЕСУРСІВ УКРАЇНИ
МИШУНЕНКОВА ОЛЬГА ВЛАДИМИРОВНА Взаимосвязь теоретической и практической подготовки бакалавров по направлению «Туризм и рекреация» в Республике Польша»
Ржевский Валентин Сергеевич Комплексное применение низкочастотного переменного электростатического поля и широкополосной электромагнитной терапии в реабилитации больных с гнойно-воспалительными заболеваниями челюстно-лицевой области
Орехов Генрих Васильевич НАУЧНОЕ ОБОСНОВАНИЕ И ТЕХНИЧЕСКОЕ ИСПОЛЬЗОВАНИЕ ЭФФЕКТА ВЗАИМОДЕЙСТВИЯ КОАКСИАЛЬНЫХ ЦИРКУЛЯЦИОННЫХ ТЕЧЕНИЙ
СОЛЯНИК Анатолий Иванович МЕТОДОЛОГИЯ И ПРИНЦИПЫ УПРАВЛЕНИЯ ПРОЦЕССАМИ САНАТОРНО-КУРОРТНОЙ РЕАБИЛИТАЦИИ НА ОСНОВЕ СИСТЕМЫ МЕНЕДЖМЕНТА КАЧЕСТВА