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

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

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

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