海词手机词典
  • The syntactic and the semantics of URS are given and the Completeness and Soundness Theorem for URS is proved.The paper concludes with a comprehensive comparison of our proposal w...

    播放读音 播放读音