Institute of Computing Technology, Chinese Academy IR
分面浏览：作者 |
| 当前检索式 | ((ALL：model theory)) |
| 限定条件 | ((出处：FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE) AND (发表日期：2018) AND (语种：英语) AND (专题：中国科学院计算技术研究所期刊论文)) |
| Ji, Wen 1 | Jin, Renchao 1 | Lu, Jiayi 1 |
| Miao, Yiming 1 | Qian, Yongfeng 1 | Song, Enmin 1 |
