eKMAIR

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

Show simple item record

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


Files in this item

This item appears in the following Collection(s)

Show simple item record

Search DSpace


Browse

My Account

Statistics