英汉
汉语
更多
The grading phenomena in attribute theory gains effective treatment in this paper.We introduce the notion of sequent to the computation, and it results a new computing frame in the research.
英
美
释义
摘要有效地处理属性论的分级现象,后承式的推理方法被引入至计算中,结果形成属性论的一个新的计算框架。
以上内容独家创作,受著作权保护,侵权必究
海词词典,十七年品牌
把海词放在桌面上,查词最方便
触屏版
|
电脑版
©2003 - 2025 海词词典(Dict.cn)
立即下载
立即下载