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

dc.contributor.authorАфонін, Андрій
dc.date.accessioned2015-02-12T09:27:14Z
dc.date.available2015-02-12T09:27:14Z
dc.date.issued2009
dc.description.abstractСтаття присвячена розробці підходу до побудови машинно-орієнтованих числень секвенціального типу, які не потребують проведення попередньої сколемізації. Особливості цього підходу продемонстровано за допомогою побудови спеціального числення такого типу, яке досліджується на коректність і повноту.uk
dc.identifier.citationАфонін А. О. Про машинно-орієнтовані числення секвенціального типу для класичної логіки першого порядку / Афонін А.О. // Наукові записки НаУКМА. - 2009. - Т. 99 : Комп'ютерні науки. - С. 23-28.uk
dc.identifier.urihttps://ekmair.ukma.edu.ua/handle/123456789/3906
dc.language.isoukuk
dc.statuspublished earlieruk
dc.titleПро машинно-орієнтовані числення секвенціального типу для класичної логіки першого порядкуuk
dc.typeArticleuk
Files
Original bundle
Now showing 1 - 1 of 1
Loading...
Thumbnail Image
Name:
Afonin_Pro_mashynno-oriientovani.pdf
Size:
358.85 KB
Format:
Adobe Portable Document Format
License bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
7.54 KB
Format:
Item-specific license agreed upon to submission
Description: