共 50 条
[24]
3-VALUED BROUWER-ZADEH LOGIC
[J].
INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS,
1993, 32 (10)
:1875-1887
[25]
3-WIRE 3-VALUED LOGIC CIRCUITS
[J].
ELECTRONICS & COMMUNICATIONS IN JAPAN,
1969, 52 (01)
:120-&
[26]
Fixpoint 3-valued semantics for autoepistemic logic
[J].
FIFTEENTH NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE (AAAI-98) AND TENTH CONFERENCE ON INNOVATIVE APPLICATIONS OF ARTIFICAL INTELLIGENCE (IAAI-98) - PROCEEDINGS,
1998,
:840-845
[28]
Parametric shape analysis via 3-valued logic
[J].
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS,
2002, 24 (03)
:217-298