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

Про спрямовану парамодуляцію в методі елімінації моделей

eKMAIR

Переглянути архів Інформація
 
 
Поле Співвідношення
 
Title Про спрямовану парамодуляцію в методі елімінації моделей
On directed paramodulation in model elimination method
 
Creator Афонін, Андрій
Afonin, Andrij
 
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://www.ekmair.ukma.edu.ua/handle/123456789/1610
 
Language ua
 
Relation Вісник Київського університету. Серія : Фізико-математичні науки