Главная Упрощенный режим Описание Шлюз Z39.50
Авторизация
Фамилия
Пароль
 

Базы данных


БД "Статьи" - результаты поиска

Вид поиска
БД "Книги"
БД "Статьи"
Труды АМГУ
Выпускные квалификационные работы
Антитеррор
Область поиска
 Найдено в других БД:БД "Книги" (1)
Формат представления найденных документов:
полныйинформационныйкраткий
Поисковый запрос: (<.>A=Фоминых, И. Б.$<.>)
Общее количество найденных документов : 1
1.


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


Доп.точки доступа:
Виньков, М. М.; Пожидаев, А. К. \.\

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

Найти похожие
 
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
Статистика
за 24.07.2024
Число запросов 123809
Число посетителей 1
Число заказов 0
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)