Проблемы бионики
Постійний URI для цієї колекції
Перегляд
Перегляд Проблемы бионики за автором "Баренбойм, М. С."
Зараз показано 1 - 2 з 2
Результатів на сторінку
Варіанти сортування
Публікація О стратегии поиска доказательства теорем в искусственных системах. Сообщение 1.(1981) Ловицкий, В. А.; Баренбойм, М. С.В последние годы интенсивно развивается подход, основанный на использовании узкого исчисления предикатов при построении естественно-языковых искусственных систем. В настоящей работе предлагаются новые приемы автоматизированного поиска решения задач из исчисления предикатов 1-го порядка.Публікація О стратегии поиска доказательства теорем в искусственных системах. Сообщение 2.(ХГУ, «Вища школа», 1981) Ловицкий, В. А.; Баренбойм, М. С.В последние годы интенсивно развивается подход, основанный на использовании узкого исчисления предикатов при построении естественно-языковых искусственных систем. В настоящей работе предлагаются новые приемы автоматизированного поиска решения задач из исчисления предикатов 1-го порядка.