логічне програмування, логическое программирование
Документи:
- Логическое прграммирование [Текст] : Пер. с англ. и фр. — М. : Мир, 1988. — 368 с. — ISBN 5-03-000972-8.
- Математическая логика в программировании [Текст] : сб. статей: пер. с англ. / под ред. М. В. Захарьящева, Ю. И. Янова. — М. : Мир, 1991. — 408 с. — (Математическое обеспечение ЭВМ). — ISBN 5-03-001635-Х.
- Аксенова, Г. П.
Сжатие тестовой реакции при самотестировании в программируемых логических матрицах [Текст] / Г. П. Аксенова // Автоматика и телемеханика. — 2013. — № 2. — С. 124-138. — Библиогр. конце ст.
- Бакаев, А. А.
Экспертные системы и логическое программирование [Текст] / А. А. Бакаев, В. И. Гриценко, Д. Н. Козлов ; Под ред. А.А. Морозова; АН Украины, Ин-т кибернетики. — К. : Наук. думка, 1992. — 220 с. — ISBN 5-12-002735-0.
- Бибило, П. Н.
Выбор энергоемких тестовых наборов для обеспечения режима повышенного энергопотребления комбинационных КМОП-схем [Текст] / П. Н. Бибило, И. П. Логинова // Управляющие системы и машины (УСиМ). — 2016. — № 3 (263). — С. 54-60. — Библиогр. в конце ст.
- Гилмор, Чарльз
Введение в микропроцессорную технику [Текст] : Пер. с англ. / Ч. Гилмор ; пер.В.М. Кисельникова, В.К. Потоцкий, Л. В. Шабанов. — М. : Мир, 1984. — 334 с.
- Глушков, Виктор Михайлович
Автоматизация проектирования вычислительных машин [Текст] / В. М. Глушков, Ю. В. Капитонова, А. А. Летичевский. — К. : Наук. думка, 1975. — 231 с.
- Глушков, Виктор Михайлович
Алгебра. Языки. Программирование [Текст] / В. М. Глушков, Г. Е. Цейтлин, Е. Л. Ющенко. — изд. 3-е , перераб. и доп. — К. : Наук. думка, 1989. — 231 с. — ISBN 5-12-000499-7.
- Грэй, Питер
Логика, алгебра и базы данных [Текст] : Пер. с англ. / П. Грэй ; Под ред. Г.В. Орловского, А.О. Слисенко. — М. : Машиностроение, 1989. — 359 с. — ISBN 5-217-00178-Х.
- Касаткин, Валентин Николаевич
Логическое программирование в занимательных задачах [Текст] / В. Н. Касаткин. — К. : Техніка, 1980. — 79 с.
- Малпасс, Дж. Р.
Реляционный язык Пролог и его применение [Текст] : Пер. с англ. / Дж. Р. Малпасс ; Под ред. В.Н. Соболева. — М. : Наука, 1990. — 463 с. — ISBN 5-02-014509-2.
- Пынько, Алексей Павлович
Приложение логического программирования к многозначной логике с относительной истиной [Текст] / А. П. Пынько ; А. П. Пынько. — С. 58-65. — Бібліогр. в кінці ст.
- Стерлинг, Леон
Искусство программирования на языке Пролог [Текст] : Пер. с англ. / Л. Стерлинг, Э. Шапиро ; Под ред. Ю.Г. Дадаева. — М. : Мир, 1990. — 235 с. — ISBN 5-03-000406-8.
- Логический подход к искусственному интеллекту: от классической логики к логическому программированию [Текст] : Монография: Пер. с фр. / А. Тей, П. Грибомон, Ж. Луи и др. — М. : Мир, 1990. — 432 с. — ISBN 5-03-001636-8.
- Хоггер, Кристофер Джон
Введение в логическое программирование [Текст] : Пер. с англ. / К. Хоггер ; Ред. Ю.И. Янова. — М. : Мир, 1988. — 368 с. — ISBN 5-03-000490-4.
- Хювёнен, Эро
Мир Лиспа [Текст] : В 2-х т.: Пер. с финск. Т. 2 : Методы и системы программирования / Э. Хювёнен, Й. Сеппянен. — М. : Мир, 1990. — 319 с. — ISBN 5-03-001936-7.
- Чери, Стефано
Логическое программирование и базы данных [Текст] : Пер. с англ. / С. Чери, Г. Готлоб, Л. Танка. — М. : Мир, 1992. — 352 с.
|
