Автор Катериненко Роман Сергеевич Научно-Технический Вестник информационных технологий, механики и оптики

2024 , ТОМ 24, НОМЕР 6 ( ноябрь-декабрь )

ISSN 2226-1494 (print), ISSN 2500-0373 (online)

Меню

Публикации

Главный редактор

НИКИФОРОВ
Владимир Олегович
д.т.н., профессор

Партнеры

Катериненко Роман Сергеевич

Место работы: Университет ИТМО
Должность: аспирант
E-mail: innuWorks@gmail.com

Катериненко Р. С. ЭФФЕКТИВНЫЙ ЛОГИЧЕСКИЙ ВЫВОД В ПРОДУКЦИОННОЙ МОДЕЛИ С ПОМОЩЬЮ БАЗ ДАННЫХ С ВЕРТИКАЛЬНОЙ АРХИТЕКТУРОЙ
Статья опубликована в выпуске №1, том 12, 2012

Катериненко Р. С., Бессмертный И. А. ВЕРИФИКАЦИЯ ДАННЫХ В СИСТЕМАХ ОТСЛЕЖИВАНИЯ ЗАДАЧ С ПОМОЩЬЮ ПРОДУКЦИОННЫХ ПРАВИЛ
Статья опубликована в выпуске №1, том 13, 2013

Информация 2001-2025 ©
Научно-технический вестник информационных технологий, механики и оптики.
Все права защищены.