Title of article :
Extracting models from clause sets saturated under semantic refinements of the resolution rule
Author/Authors :
Nicolas Peltier، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2003
Keywords :
logic in computer science , automated model building , Saturation-based methods , Automated deduction
Journal title :
Information and Computation
Journal title :
Information and Computation
