نتایج جستجو برای: logic
تعداد نتایج: 151299 فیلتر نتایج به سال:
Journal:
:Electronic Notes in Theoretical Computer Science
2004
Journal:
:Theory and Practice of Logic Programming
2006
Journal:
:Theory and Practice of Logic Programming
2016
Journal:
:iranian journal of fuzzy systems
2015
m. dyba
v. novak
in this paper we continue development of formal theory of a special class offuzzy logics, called eq-logics. unlike fuzzy logics being extensions of themtl-logic in which the basic connective is implication, the basic connective ineq-logics is equivalence. therefore, a new algebra of truth values calledeq-algebra was developed. this is a lower semilattice with top element endowed with two binary...
Journal:
:Electronic Notes in Theoretical Computer Science
2003
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید