Про спрямовану парамодуляцію в методі елімінації моделей
eKMAIR
Переглянути архів ІнформаціяПоле | Співвідношення | |
Title |
Про спрямовану парамодуляцію в методі елімінації моделей
On directed paramodulation in model elimination method |
|
Creator |
Афонін, Андрій
|
|
Subject |
парамодуляція
метод елімінації моделей |
|
Description |
The paper is devoted to the research on the building-in of paramodulation rules into the model elimination method and input resolution. The results about the soundness and completeness of the constructed extensions are given.
Стаття присвячена дослідженням з вбудовування парамодуляційних правил у метод елімінації моделей та вхідну резолюцію. Даються результати про коректність та повноту побудованих розширень. |
|
Date |
2012-07-16T07:40:56Z
2012-07-16T07:40:56Z 2010 |
|
Type |
Article
|
|
Identifier |
Афонін А. Про спрямовану парамодуляцію в методі елімінації моделей / Афонін А.О. // Вісник Київського університету. Серія : Фізико-математичні науки. - 2010. - Вип. 2. – С. 87-91.
http://ekmair.ukma.edu.ua/handle/123456789/1610 |
|
Language |
ua
|
|
Relation |
Вісник Київського університету. Серія : Фізико-математичні науки
|
|