911chaxun查询科学技术名词计算机科学理论
计算机科学技术计算机科学理论
条件项重写系统 conditional term rewriting system 条件项重写系统的意思 conditional term rewriting system的意思
条件项重写系统
规范用词条件项重写系统
英文对照conditional term rewriting system
名词审定计算机科学技术名词审定委员会
见载刊物《计算机科学技术名词(第二版)》 科学出版社
公布时间2002年
科学技术名词为您提供条件项重写系统,conditional term rewriting system,条件项重写系统的意思,conditional term rewriting system的意思,条件项重写系统的英文,conditional term rewriting system的翻译,条件项重写系统的翻译,条件项重写系统是什么意思,条件项重写系统什么意思,conditional term rewriting system是什么意思,conditional term rewriting system什么意思
条件项重写系统 相关科技名词
- 多值逻辑multiple value logic
- 模糊逻辑fuzzy logic
- 应用逻辑applied logic
- 归结resolution
- 子句clause
- 基子句ground clause
- 霍恩子句Horn clause
- 矢列式sequent
- 关系逻辑relational logic
- 重写规则[系统]rewriting rule [system]
- 定理证明器theorem prover
- 截除cut
- 逻辑系统logical system
- 多类逻辑many-sorted logic
- 代数数据类型algebraic data type
- 经典逻辑classical logic
- 形式演算formal calculus
- 逻辑演算logic calculus
- 霍尔逻辑Hoare logic
- 过程逻辑process logic
- 程序设计逻辑programming logic
- 连续算子continuous operator
- 细胞自动机cellular automata
- 程序验证器program verifier
- 程序验证program verification
- 符号演算symbolic calculus
- 计算逻辑computational logic
- 变换系统transformation system
- 构造性证明constructive proof
- 类型论type theory
- 线性归结linear resolution
- 区间时态逻辑interval temporal logic
- 等式逻辑equational logic
- 超归结hyper-resolution
- 证明策略proof strategy
- 模态modality
- 模态逻辑modal logic
- 因果逻辑causal logic
- 直觉主义逻辑intuitionistic logic
- 代数逻辑algebraic logic
别人正在查