共 50 条
- [32] About complexity of Boolean functions in class of canonical polarized polynomials Kibernetika i Sistemnyj Analiz, 2000, (03): : 179 - 183
- [34] Three-valued Logic, Indeterminacy and Quantum Mechanics Journal of Philosophical Logic, 2001, 30 : 97 - 119
- [38] Three-valued logic in bounded model checking THIRD ACM & IEEE INTERNATIONAL CONFERENCE ON FORMAL METHODS AND MODELS FOR CO-DESIGN, PROCEEDINGS, 2005, : 177 - 186
- [40] Positively closed classes of three-valued logic Marchenkov, S. S. (ssmarchen@yandex.ru), 1600, Izdatel'stvo Nauka (08): : 256 - 266