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

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

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 Вісник Київського університету. Серія : Фізико-математичні науки