911chaxun查询科学技术名词计算机科学理论
科学技术名词为您提供埃尔布朗基,Herbrand base,埃尔布朗基的意思,Herbrand base的意思,埃尔布朗基的英文,Herbrand base的翻译,埃尔布朗基的翻译,埃尔布朗基是什么意思,埃尔布朗基什么意思,Herbrand base是什么意思,Herbrand base什么意思
埃尔布朗基 相关科技名词
- 证伪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
别人正在查