НГУ
http://forum.nsu.ru/

Прогр реал преобр формата TPTP или DFG в пренексную форму
http://forum.nsu.ru/viewtopic.php?f=24&t=24690
Страница 1 из 1

Автор:  alex_dorin [ Пн окт 06, 2014 3:40 pm ]
Заголовок сообщения:  Прогр реал преобр формата TPTP или DFG в пренексную форму

Здравствуйте !

Подскажите существующую програмную реализацию для преобразования формулы логики первого
порядка из формата TPTP или DFG в пренексную форму (без сколемизации).

С уважением Александр Дорин

Страница 1 из 1 Часовой пояс: UTC + 7 часов
Powered by phpBB® Forum Software © phpBB Group
https://www.phpbb.com/