Institute of Computing Technology, Chinese Academy IR
分面浏览：资助项目 |
| 当前检索式 | ((ALL：model theory)) |
| 限定条件 | ((作者：Thomas, Antonis) AND (发表日期：2019) AND (资助项目：973 Program of China[2016YFB1000201]) AND (文献类型：期刊论文)) |
| 973 Program of China 1 | National Natural Sci 1 | National Natural Sci 1 |
| National Natural Sci 1 | National Natural Sci 1 | National Natural Sci 1 |
