Вид документа : Однотомное издание Шифр издания : З 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) Доп.точки доступа: Шелехов, В.И. \ред.\; Институт систем информатики им. А.П. Ершова (Новосибирск) |