Фоминых, И. Б. Активная логика и логическое программирование: объединение двух концепций [Текст] = Active logic and logic programming: integration of the concepts / И. Б. Фоминых, М. М. Виньков, А. К. Пожидаев // Программные продукты и системы. - 2015. - № 3. - С. 42-48. - Библиогр.: с. 48 (11 назв.) . - ISSN 0236-235X
Рубрики: Вычислительная техника Программирование ЭВМ. Компьютерные программы. Программотехника Логика Общие вопросы логики Кл.слова (ненормированные): активная логика -- дедукция -- логическое программирование -- процедурная семантика -- реальное время Аннотация: В статье рассмотрено объединение концепций активной логики и логического программирования. Доп.точки доступа: Виньков, М. М.; Пожидаев, А. К. \.\ Имеются экземпляры в отделах: всего 1 : ч.з. (1) Свободны: ч.з. (1) |