911chaxun查询科学技术名词计算机科学理论
代入复合
规范用词代入复合
英文对照composition of substitution
名词审定计算机科学技术名词审定委员会
见载刊物《计算机科学技术名词(第二版)》 科学出版社
公布时间2002年
科学技术名词为您提供代入复合,composition of substitution,代入复合的意思,composition of substitution的意思,代入复合的英文,composition of substitution的翻译,代入复合的翻译,代入复合是什么意思,代入复合什么意思,composition of substitution是什么意思,composition of substitution什么意思
代入复合 相关科技名词
- 证伪refutation
- 范畴分析categorical analysis
- 自然推理natural inference
- 二难推理dilemma reasoning
- 条件逻辑conditional logic
- 阈值逻辑threshold logic
- 概率逻辑probabilistic logic
- 埃尔布朗基Herbrand base
- 归纳公理induction axiom
- 二元预解式binary resolvent
- 锁归结lock resolution
- 归结原理resolution principle
- 协调公式consistent formula
- 演绎树deduction tree
- 线性演绎linear deduction
- 锁演绎lock deduction
- 本原演绎primitive deduction
- 超演绎hyperdeduction
- 超预解式hyperresolvent
- 无循环设置cycle-free allocation
- 逻辑程序logic program
- 条件项重写系统conditional term rewriting system
- 分解decomposition
- 谓词predicate
- 谓词演算predicate calculus
- 谓词逻辑predicate logic
- 谓词变量predicate variable
- 谓词符号predicate symbol
- 符号逻辑symbolic logic
- 重言式tautology
- 自动机automaton
- 广义序列机generalized sequential machine
- 下推自动机push-down automaton;PDA
- 上下文无关文法context-free grammar;CFG
- 上下文无关语言context-free language;CFL
- 上下文有关文法context-sensitive grammar;CSG
- 上下文有关语言context-sensitive language;CSL
- 无用符[号]useless symbol
- 无穷集infinite set
- 非限制文法unrestricted grammar
别人正在查