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 :
https://search.isc.ac/dl/search/defaultta.aspx?DTC=10&DC=164128
