Metafuction相关论文
Based on the context theory within the framework of the metafunction,the paper analyses the English claim letters in ter......
以计算逻辑为理论基础,采用波动方法证明了计算逻辑中的一个重要定理——元函数的正确性定理.......