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

О функциональных символах - общий подход для элимин. фун.cим
http://forum.nsu.ru/viewtopic.php?f=24&t=25022
Страница 1 из 1

Автор:  alex_dorin [ Сб мар 07, 2015 11:40 pm ]
Заголовок сообщения:  О функциональных символах - общий подход для элимин. фун.cим

Здравсвуйте !
Подскажите общий подход для элиминации функциональных cимимволов в логике первого порядка.
С уважением
Александр Дорин

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