Title of article
Binary resolution over complete residuated Stone lattices
Author/Authors
u?an Guller، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2008
Pages
11
From page
1031
To page
1041
Keywords
Resolution proof methods , Automated deduction , Many-valued logics , Knowledge representation and reasoning
Journal title
FUZZY SETS AND SYSTEMS
Serial Year
2008
Journal title
FUZZY SETS AND SYSTEMS
Record number
164128
Link To Document