Главная Упрощенный режим Описание Шлюз Z39.50

Базы данных

Всего записей: 50699

Каталог книг и сборников Отделения ГПНТБ (1991- ) - результаты поиска

Вид поиска
Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Поисковый запрос: (<.>A=Berman, Piotr$<.>)
Общее количество найденных документов : 1
1.
   Pr1090
   Pr1090/2003-44
Pr1090/2003-44 / Pr1090/2003-44-02

    Berman, Piotr.
    Approximation hardness and satisfiability of bounded occurrence instances of SAT : сборник / P. Berman, M. Karpinski, A.D. Scott. - Bonn : [s. n.], 2003. - 13 p. - (Preprint series / Max-Planck-Inst. fur Mathematik ; MPI 03-44). - Bibliogr.: p. 11-13
Перевод заглавия: Аппроксимативная жесткость и выполняемость связанных событий SAT
27.03
ББК В127
Рубрики: Вычислимые функции
   Вычислимость в математической логике
Дескрипторы: моногр -- сб пр


Доп.точки доступа:
Karpinski, Marek; Scott, Alex D
Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Найти похожие
 
Стандартный
Расширенный
Профессиональный
По словарю
ГРНТИ-навигатор
© 1997-2017 Отделение ГПНТБ СО РАН