О стратегии поиска доказательства теорем в искусственных системах. Сообщение 2.

Ловицкий, В. А.; Баренбойм, М. С.

Публікація:
О стратегии поиска доказательства теорем в искусственных системах. Сообщение 2.

dc.contributor.author	Ловицкий, В. А.
dc.contributor.author	Баренбойм, М. С.
dc.date.accessioned	2020-01-24T12:01:54Z
dc.date.available	2020-01-24T12:01:54Z
dc.date.issued	1981
dc.description.abstract	В последние годы интенсивно развивается подход, основанный на использовании узкого исчисления предикатов при построении естественно-языковых искусственных систем. В настоящей работе предлагаются новые приемы автоматизированного поиска решения задач из исчисления предикатов 1-го порядка.	uk_UA
dc.identifier.citation	Ловицкий В. А. О стратегии поиска доказательства теорем в искусственных системах. Сообщение 2. / В. А. Ловицкий, М. С. Баренбойм // Проблемы бионики : республ. межвед. науч.-техн. сб. – Х. : ХГУ, «Вища школа», 1981. – Вып. 27. – С. 33-40.	uk_UA
dc.identifier.uri	http://openarchive.nure.ua/handle/document/10625
dc.language.iso	ru	uk_UA
dc.publisher	ХГУ, «Вища школа»	uk_UA
dc.subject	искусственная система	uk_UA
dc.subject	естественно-языковая система	uk_UA
dc.title	О стратегии поиска доказательства теорем в искусственных системах. Сообщение 2.	uk_UA
dc.type	Article	uk_UA
dspace.entity.type	Publication