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