Л 69 Логическое программирование [Текст] : сборник статей : Пер. с англ. и фр. / Под ред. В.Н. Агафонова. - Москва : Мир, 1988. - 366 с. ; 23 см. - (Математическое обеспечение ЭВМ). - Библиогр.: с. 353-366. - 15 000 экз.. - ISBN 5-03-000972-8 (в пер.) : 2 р. Библиогр. в примеч. в конце ст.
Логическое программирование - Сборники Кл.слова (ненормированные): вычислительные машины -- логическое программирование Доп.точки доступа: Агафонов, Валерий Николаевич ~Экземпляры всего: 1 ТО (1) Свободны: ТО (1) |
А 23 Агафонов, Валерий Николаевич. Спецификация программ: понятийные средства и их организация [Текст] : монография / В. Н. Агафонов ; отв. ред.: А. П. Ершов, Б. С. Елепов ; Акад. наук CCCР, Сиб. отд-ние, Вычислит. центр, Гос. публ. науч.-техн. б-ка. - Новосибирск : Наука, Сибирское отделение, 1987. - 240 с. : ил. ; 21см. - Библиогр.: с. 233 - 238. - 5100 экз.. - (в пер.) : 1.20 Рубрики: Обслуживающие программы Доп.точки доступа: Ершов, А. П. \отв. ред.\; Елепов, Б. С. \отв. ред.\; Академия наук CCCР; Сибирское отделениеВычислительный центр; Государственная публичная научно-техническая библиотека Сибирского отделения Российской академии наук ~Экземпляры всего: 1 ТО (1) Свободны: ТО (1) |