Замулин, А. В. Системы программирования баз данных и знаний [Текст] / А.В. Замулин; Отв.ред.В.Е.Котов ; АН СССР.Сиб.отд-ние.ВЦ. - Новосибирск : Наука.Сиб.отд-ние, 1990. - 350 с. : ил. - ISBN 5-02-029673-2 : Б. ц.
Вычислительные машины электронные Кл.слова (ненормированные): Базы знаний Экземпляры всего: 2 ХР (2) Свободны: ХР (2) |
Ф 94 Фуксман, А. Л. Технологические аспекты создания программных систем [Текст] : монография / А.Л. Фуксман. - М. : Статистика, 1979. - 184 с. - Библиогр.:с.181-182(40 назв.). - Б. ц.
Экземпляры всего: 3 ХР (3) Свободны: ХР (3) |
Котов, Вадим Евгеньевич. Теория схем программ [Текст] : монография / В. Е. Котов, В. К. Сабельфельд. - М. : Наука, 1991. - 247 с. : ил. - Библиогр.:с.239-245 (142 назв.). - ISBN 5-02-013974-2 : Б. ц.
Доп.точки доступа: Сабельфельд, Виктор Карлович Экземпляры всего: 3 ХР (3) Свободны: ХР (3) |
К 47 Кларк, К. Л. Введение в логическое программирование на микропрологе [Текст] : пер.с англ. / К.Л. Кларк, Ф.Г.Маккейб ; Под ред.В.В.Мартынюка. - М. : Радио и связь, 1987. - 311 с. - Б. ц.
Доп.точки доступа: Маккейб , Ф.Г. Экземпляры всего: 3 ХР (3) Свободны: ХР (3) |
В 55 Вишняков, В. А. Аппаратно-программные средства процессоров логического вывода [Текст] / В.А.Вишняков,Д.Ю.Буланже,О.В.Герман. - М. : Радио и связь, 1991. - 262 с. : ил. - Библиогр.:с.259-261(53 назв.). - ISBN 5-256-00606-1 : Б. ц.
Доп.точки доступа: Буланже, Д.Ю.; Герман, О.В. Экземпляры всего: 1 ХР (1) Свободны: ХР (1) |
Ковальски , Р. Логика в решении проблем [Текст] : пер. с англ. / Р. Ковальски . - М. : Наука, 1990. - 277 с. : ил. - (Проблемы искусственного интеллекта ; вып.18). - Библиогр.:с.263-271. - ISBN 5-02-014148-8 : Б. ц.
Экземпляры всего: 2 ХР (2) Свободны: ХР (2) |
А 16 Абрамов, С. А. Элементы анализа программ: Частич.функции на множестве состояний [Текст] / С.А. Абрамов. - М. : "Наука", 1986. - 127 с. - (Библиотечка программиста). - Библиогр.: с.127 (17 назв.) . - Б. ц.
Экземпляры всего: 2 ХР (2) Свободны: ХР (2) |
В 96 Вьюкова, Н. И. Систематический подход к программированию [Текст] / Н.И. Вьюкова; Под ред. Ю.М.Баяковского. - М. : Наука, 1988. - 205 с. - (Библиотечка программиста). - Библиогр.: с. 203-204. - ISBN 5-02-013771-5 : Б. ц.
Программирования языки Доп.точки доступа: Галатенко, В.А.; Ходулев, А.Б. Экземпляры всего: 6 ХР (6) Свободны: ХР (6) |
Г 55 Глушков, Виктор Михайлович. Алгебра. Языки. Программирование [Текст] / В.М. Глушков, Г.Е. Цейтлин, Е.Л. Ющенко. - 3-е изд., перераб., доп. - Киев : Наук.думка, 1989. - 376 с. : ил. - Библиогр.: с.363-368 (133 назв.) . - ISBN 5-12-000499-7 : Б. ц.
Алгебра Доп.точки доступа: Цейтлин, Георгий Евсеевич; Ющенко, Екатерина Логвиновна Экземпляры всего: 1 ХР (1) Свободны: ХР (1) |
А 16 Абрамов, С. А. Элементы программирования [Текст] / С. А. Абрамов. - М. : Наука, 1982. - 96 с. : граф. - (Популярные лекции по математике ; вып.56). - Библиогр.: с. 95. - Б. ц.
Экземпляры всего: 3 ХР (3) Свободны: ХР (3) |
Глушков, Виктор Михайлович. Алгебра. Языки. Программирование [Текст] : монография / В.М. Глушков, Г.Е. Цейтлин, Е.Л. Ющенко. - Киев : Наук.думка, 1974. - 328 с. - Библиогр.: с.316-319 (110 назв.) . - Б. ц.
Алгебра Доп.точки доступа: Цейтлин, Георгий Евсеевич; Ющенко, Екатерина Логвиновна Экземпляры всего: 1 ХР (1) Свободны: ХР (1) |