卡普可归约性 Karp reducibility 卡普可归约性的意思 Karp reducibility的意思卡普可归约性的英文

卡普可归约性

规范用词卡普可归约性

英文对照Karp reducibility

名词审定计算机科学技术名词审定委员会

公布时间2002年

科学技术名词为您提供卡普可归约性,Karp reducibility,卡普可归约性的意思,Karp reducibility的意思,卡普可归约性的英文,Karp reducibility的翻译,卡普可归约性的翻译,卡普可归约性是什么意思,卡普可归约性什么意思,Karp reducibility是什么意思,Karp reducibility什么意思

卡普可归约性相关科技名词

计算机科学理论»

多值逻辑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

卡普可归约性 Karp reducibility 卡普可归约性的意思 Karp reducibility的意思 卡普可归约性的英文

卡普可归约性

卡普可归约性 Karp reducibility 卡普可归约性的意思 Karp reducibility的意思卡普可归约性的英文