共 50 条
- [41] Satisfiability in multi-valued circuits LICS'18: PROCEEDINGS OF THE 33RD ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, 2018, : 550 - 558
- [43] Multi-Valued Automata and Their Applications LOGICS AND LANGUAGES FOR RELIABILITY AND SECURITY, 2010, 25 : 179 - 194
- [47] Multi-valued nanoelectronics with fullerenes 35th International Symposium on Multiple-Valued Logic, Proceedings, 2005, : 48 - 53
- [49] Multi-Valued Problem Solvers 2016 IEEE 46TH INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC (ISMVL 2016), 2016, : 263 - 268
- [50] Multi-valued antidysenteric serum COMPTES RENDUS DES SEANCES DE LA SOCIETE DE BIOLOGIE ET DE SES FILIALES, 1908, 65 : 629 - 631