Войти
Запомнить
Регистрация
PullRequest
Лента
Топ
Теги
Новая
Новая
Вопросы с тегом лепет
2
голосов
0
ответов
Дерево решений ACL2 не может выполнить рекурсивный вызов
Для этой задачи мне поручено реализовать функцию, которая решает вывод дерева решений с учетом...
GokuBabs
/
15 мая 2019
лепет
принятие дерева
дискретно-математика
acl2
Для получения более полной информации посмотрите в
списке вопросов
или в
популярных тегах
.
Добро пожаловать на сайт PullRequest, где вы можете задавать вопросы и получать ответы от других членов сообщества.
...