Система программирования в ограничениях Nemo

Система программирования в ограничениях Nemo

Язык статьи
Русский
Аннотация
Метод недоопределённых вычислений является одним из подходов для решения задачи удовлетворения ограничений. На его основе разработан ряд программных систем, в том числе система программирования в ограничениях Nemo. В статье рассматриваются принципы, используемые для разработки системы Nemo, их реализация на практике и возможности, предоставляемые пользователю для решения задач.
УДК
Страницы
47-70
Файл
sidorovsi20.pdf803.56 КБ
Номер