逻辑式
This paper builds the Deductive System of Temporal Logical formulas in default theory.
本文建立了基于缺省理论的时态逻辑公式演绎系统。
英语网 · 英语词汇
英语网 · 双语新闻
英语网 · 双语娱乐资讯
英语网 · 少儿英语故事