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

Базы данных

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

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

Вид поиска
Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Поисковый запрос: (<.>S=Булево программирование<.>)
Общее количество найденных документов : 1
1.
   Пр31
   Пр31/161
Пр31/161 / Пр31/161-02

   
    Обобщенная вычислимость и определимость : сборник / Рос. акад. наук. Сиб. отд-ние. Ин-т математики им. С.Л. Соболева; Науч. ред.: Ершов Ю.Л., Гончаров С.С. - Новосибирск : [б. и.], 1998. - 175 с. - (Вычислительные системы, ISSN 0568-661X ; 161). - Библиогр. в конце ст. -
27.47
27.03
ББК В127я43 + В173.1я43
Рубрики: Вычислимость в математической логике
   Булево программирование
Дескрипторы: сб пр -- сб


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