Title of article
Binary resolution over Boolean lattices
Author/Authors
Du?an Guller، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2006
Pages
28
From page
2100
To page
2127
Keywords
Many-valued logics , Resolution proof systems , Automated deduction , Knowledge representation and reasoning
Journal title
FUZZY SETS AND SYSTEMS
Serial Year
2006
Journal title
FUZZY SETS AND SYSTEMS
Record number
163783
Link To Document