Вопросы с тегом первого порядка логики - PullRequest

Вопросы с тегом первого порядка логики

0 голосов
1 ответ

Я работал над проектом об известной проблеме fox-goose-beans-farmer.Я пытаюсь реализовать это на...

Utku Eray / 13 декабря 2018
0 голосов
1 ответ

У меня есть язык, который описывает домен с помощью предикатов произвольной арности.Например, в...

Wall / 05 декабря 2018
2 голосов
1 ответ

Я создаю программу упрощения логики в sml. Но у меня есть проблема для этого ввода: -...

user1047517 / 02 декабря 2011
Для получения более полной информации посмотрите в списке вопросов или в популярных тегах.
Добро пожаловать на сайт PullRequest, где вы можете задавать вопросы и получать ответы от других членов сообщества.
...