Вернуться к Подробностям о статье
Решение некоторого класса логических задач на основе предикатных моделей с генератором состояний
Скачать
Скачать PDF