• ВХОД
  •  

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

    Кожевников, А. А. Сложность пропозициональных систем доказательств, оперирующих неравенствами : автореф. дис. ... канд. физ.-мат. наук: 01.01.06 / А. А. Кожевников. - СПб., 2007. - 15 с. - Библиогр.: с. 15(6 назв.). - Текст : непосредственный.

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

    Держатели документа:
    Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Ар07-9201)

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



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