مرکز منطقه ای اطلاع رساني علوم و فناوري

Title of article :

Binary resolution over Boolean lattices

Author/Authors :

Du?an Guller، نويسنده ,

Issue Information :

روزنامه با شماره پیاپی سال 2006

Pages :

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 :