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