Про машинно-орієнтовані числення секвенціального типу для класичної логіки першого порядку

Афонін, Андрій

dc.contributor.author	Афонін, Андрій
dc.date.accessioned	2015-02-12T09:27:14Z
dc.date.available	2015-02-12T09:27:14Z
dc.date.issued	2009
dc.identifier.citation	Афонін А. О. Про машинно-орієнтовані числення секвенціального типу для класичної логіки першого порядку / Афонін А.О. // Наукові записки НаУКМА. - 2009. - Т. 99 : Комп'ютерні науки. - С. 23-28.	uk
dc.identifier.uri	http://ekmair.ukma.edu.ua/handle/123456789/3906
dc.description.abstract	Стаття присвячена розробці підходу до побудови машинно-орієнтованих числень секвенціального типу, які не потребують проведення попередньої сколемізації. Особливості цього підходу продемонстровано за допомогою побудови спеціального числення такого типу, яке досліджується на коректність і повноту.	uk
dc.language.iso	uk	uk
dc.title	Про машинно-орієнтовані числення секвенціального типу для класичної логіки першого порядку	uk
dc.type	Article	uk
dc.status	published earlier	uk