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

Базы данных

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

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

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

Вид документа : Однотомное издание
Шифр издания : З 973.2/М545
Заглавие : Методы предикатного программирования : Сб. науч. работ
Параллельн. заглавия :The predicate programming methods
Выходные данные : Новосибирск: ИСИ, 2003
Колич.характеристики :62 с. ; 21 см
Коллективы : Институт систем информатики им. А.П. Ершова (Новосибирск)
Примечания : Библиогр. в конце ст
Цена : Б.ц.
ГРНТИ : 50.05.03 + 27.03.17 + 27.03.19
УДК : 004.42(082)
ББК : З 973.2-018я43 + В127я43 + В123я43
Предметные рубрики: Программное обеспечение ЭВМ
Предикаты-- рекурсивные
Предикаты-- исчисление
Ключевые слова (''Своб.индексиров.''): компьютеры персональные - программирование
Экземпляры :02(1)
Свободны : 02(1)
Найти похожие
 
Стандартный
Расширенный
Профессиональный
По словарю
ГРНТИ-навигатор
© 1997-2017 Отделение ГПНТБ СО РАН