KMS Chongqing Institute of Green and Intelligent Technology, CAS
分面浏览：出处 |
| 当前检索式 | ((ALL："Li, Yi")) |
| 限定条件 | ((专题：自动推理与认知研究中心)) |
| Ruan Jian Xue Bao/Jo 4 | 2014 Symposium on Sy 1 | 21st International C 1 |
| JOURNAL OF COMPUTATI 1 | JOURNAL OF MATHEMATI 1 | Journal of Computati 1 |
| RESEARCH IN ASTRONOM 1 | THEORETICAL COMPUTER 1 |
