Institute of Computing Technology, Chinese Academy IR
分面浏览：作者 |
| 当前检索式 | ((ALL：model theory)) |
| 限定条件 | ((出处：FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE) AND (作者：Jin, Renchao) AND (作者：Miao, Yiming) AND (资助项目：Beijing Natural Science Foundation[4162059])) |
| Ji, Wen 1 | Jin, Renchao 1 | Lu, Jiayi 1 |
| Miao, Yiming 1 | Qian, Yongfeng 1 | Song, Enmin 1 |
