• ВХОД
  •  

    Полное описание

    Опарин, В. В. Оценки сложности вывода в системах доказательств, основанных на методе резолюций : автореф. дис. ... канд. физ.-мат. наук: 01.01.06 / В. В. Опарин. - 2016. - 17 с. - Библиогр.: с. 17 (4 назв.). - 100 экз. - Текст : непосредственный.

    ГРНТИ УДК
    27.03.19510.74(043)
    03.91

    Кл.слова (ненормированные): МАТЕМАТИЧЕСКАЯ ЛОГИКА -- СЛОЖНОСТЬ ДОКАЗАТЕЛЬСТВ -- ТЕОРЕМА КУКА-РЕКХАУ -- ТЕОРЕМА КУКА-РЕКХОУ
    Держатели документа:
    Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Ар16-9373)

    Шифр в сводном ЭК: eeaab3aea9e9fed9e8f41f62a6c3a846



    Заказ фрагмента документа ₽