The Extended Model theory is a mathematical theory, on which an Extended Model theory Language (EMTL) has been realized.
扩充模型论是一种数学理论，在它的基础上我们实现了一种扩充模型论语言——EMTL。
The Extended Model theory is a mathematical theory, on which an Extended Model theory Language (EMTL) has been realized.
扩充模型论是一种数学理论，在它的基础上我们实现了一种扩充模型论语言——EMTL。
应用推荐