共 50 条
- [21] Multi-valued logics introducing propositional multi-valued logics with the help of a CAS RECENT DEVELOPMENTS IN COMPLEX ANALYSIS AND COMPUTER ALGEBRA, 1999, 4 : 277 - 290
- [22] Topological structure of solution sets to multi-valued asymptotic problems ZEITSCHRIFT FUR ANALYSIS UND IHRE ANWENDUNGEN, 2000, 19 (01): : 35 - 60
- [23] Fuzzy multi-valued implicit quasi-variational inclusions in Banach spaces Dianzi Keji Daxue Xuebao/Journal of the University of Electronic Science and Technology of China, 2005, 34 (05): : 703 - 705
- [29] Satisfiability in multi-valued circuits LICS'18: PROCEEDINGS OF THE 33RD ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, 2018, : 550 - 558