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