Про спрямовану парамодуляцію в методі елімінації моделей
eKMAIR
Переглянути архів Інформація| Поле | Співвідношення | |
| Creator |
Афонін, Андрій
Afonin, Andrij |
|
| Date |
2012-07-16T07:40:56Z
2012-07-16T07:40:56Z 2010 |
|
| Identifier |
Афонін А. Про спрямовану парамодуляцію в методі елімінації моделей / Афонін А.О. // Вісник Київського університету. Серія : Фізико-математичні науки. - 2010. - Вип. 2. – С. 87-91.
http://www.ekmair.ukma.kiev.ua/handle/123456789/1610 |
|
| 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.
Стаття присвячена дослідженням з вбудовування парамодуляційних правил у метод елімінації моделей та вхідну резолюцію. Даються результати про коректність та повноту побудованих розширень. |
|
| Language |
ua
|
|
| Subject |
парамодуляція
метод елімінації моделей |
|
| Title |
Про спрямовану парамодуляцію в методі елімінації моделей
On directed paramodulation in model elimination method |
|
| Type |
Article
|
|
| Relation |
Вісник Київського університету. Серія : Фізико-математичні науки
|
|