Запис Детальніше

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

eKMAIR

Переглянути архів Інформація
 
 
Поле Співвідношення
 
Title Про машинно-орієнтовані числення секвенціального типу для класичної логіки першого порядку
 
Creator Афонін, Андрій
Afonin, Andrij
 
Description Стаття присвячена розробці підходу до побудови машинно-орієнтованих числень секвенціального
типу, які не потребують проведення попередньої сколемізації. Особливості цього підходу продемонстровано за допомогою побудови спеціального числення такого типу, яке досліджується на
коректність і повноту.
 
Date 2015-02-12T09:27:14Z
2015-02-12T09:27:14Z
2009
 
Type Article
 
Identifier Афонін А. О. Про машинно-орієнтовані числення секвенціального типу для класичної логіки першого порядку / Афонін А.О. // Наукові записки НаУКМА. - 2009. - Т. 99 : Комп'ютерні науки. - С. 23-28.
http://www.ekmair.ukma.edu.ua/handle/123456789/3906
 
Language ua