Метод вычислений в параллельном логическом выводе - Статья

бесплатно 0
4.5 93
Разработка метода вычислений для параллельного логического вывода на знаниях, представленных формулами исчисления предикатов первого порядка. Модификация формальной системы. Методы вычислений на подстановках с учетом параллельности логического вывода.

Скачать работу Скачать уникальную работу

Чтобы скачать работу, Вы должны пройти проверку:



Вы можете ЗАГРУЗИТЬ и ПОВЫСИТЬ уникальность
своей работы


Новые загруженные работы

Дисциплины научных работ





Хотите, перезвоним вам?