Institute of Computing Technology, Chinese Academy IR
分面浏览：作者 |
| 当前检索式 | ((ALL：logic computing)) |
| 限定条件 | ((资助项目：Beijing Municipal Science & Technology Commission[Z181100008918006]) AND (资助项目：National Natural Science Foundation of China (NSFC)[61522406]) AND (专题：中国科学院计算技术研究所期刊论文)) |
| Chen, Xiaoming 1 | Han, Yinhe 1 | Li, Xiaowei 1 |
| Qian, Xuehai 1 | Wang, Ying 1 | Xu, Sheng 1 |
