К 38 Кибернетический сборник [Текст] : сб. переводов : [пер. с англ.] / ред.: О. Б. Лупанов, О. М. Касим-Заде. - Москва : Мир, 1965 - . - (Новая серия). Вып. 26. - Москва : Мир , 1989. - 208 с. : ил. ; 22 см. - ). - Библиогр. в конце ст. - 2 950 экз.. - ISBN 5-03-000998-1 (в пер.) : 2.50 р. Содержание: Тейрлинк, Л. Нетривиальные t-схемы без кратных блоков существуют для всех t / Л. Тейрлинк Стокмейер, Л. Классификация вычислительной сложности проблем / Л. Стокмейер Кармаркар, Н. Новый алгоритм полиномиальной трудоемкости для задач линейного программирования / Н. Кармаркар Делест, М. -П. Алгебраические языки и перечисление полимино / М. -П. Делест, Ж. Вьенно Вьенно, Ж. Перечислительная комбинаторика и алгебраические языки / Ж. Вьенно Бисон, М. Дж. Доказательство программ и программирование доказательств / М. Дж. Бисон
Кл.слова (ненормированные): алгебраические языки -- вычислительная сложность проблем -- задачи линейного программирования -- нетривиальные t-схемы -- перечисление полимино -- перечислительная комбинаторика -- полиномиальная трудоемкость -- проектирование БИС -- функциональное программирование Доп.точки доступа: Лупанов, О. Б. \ред.\; Касим-Заде, О. М. \ред.\ ~Экземпляры всего: 1 ТО (1) Свободны: ТО (1) |