Публікація: О стратегии поиска доказательства теорем в искусственных системах. Сообщение 2.
Завантаження...
Дата
Автори
Назва журналу
ISSN журналу
Назва тому
Видавець
ХГУ, «Вища школа»
Анотація
В последние годы интенсивно развивается подход, основанный на использовании узкого исчисления предикатов при построении естественно-языковых искусственных систем. В настоящей работе предлагаются новые приемы автоматизированного поиска решения задач из исчисления предикатов 1-го порядка.
Опис
Ключові слова
искусственная система, естественно-языковая система
Цитування
Ловицкий В. А. О стратегии поиска доказательства теорем в искусственных системах. Сообщение 2. / В. А. Ловицкий, М. С. Баренбойм // Проблемы бионики : республ. межвед. науч.-техн. сб. – Х. : ХГУ, «Вища школа», 1981. – Вып. 27. – С. 33-40.