计算机科学理论科技名词计算机科学理论科学技术名词计算机科学理论科技名词大全计算机科学理论科技名词术语

计算机科学理论科技名词

计算机科学理论第3页

科技名词	学科	详情
程序设计逻辑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	计算机科学技术 > 计算机科学理论	详情
证伪refutation	计算机科学技术 > 计算机科学理论	详情
范畴分析categorical analysis	计算机科学技术 > 计算机科学理论	详情
自然推理natural inference	计算机科学技术 > 计算机科学理论	详情
二难推理dilemma reasoning	计算机科学技术 > 计算机科学理论	详情
条件逻辑conditional logic	计算机科学技术 > 计算机科学理论	详情
阈值逻辑threshold logic	计算机科学技术 > 计算机科学理论	详情
概率逻辑probabilistic logic	计算机科学技术 > 计算机科学理论	详情
埃尔布朗基Herbrand base	计算机科学技术 > 计算机科学理论	详情
归纳公理induction axiom	计算机科学技术 > 计算机科学理论	详情
二元预解式binary resolvent	计算机科学技术 > 计算机科学理论	详情

首页末页 | 1 2 3 4 5 6 7 8 9 10 | 上一页下一页

科学技术名词为您提供计算机科学理论科技名词,计算机科学理论科学技术名词,计算机科学理论科技名词大全,计算机科学理论科技名词术语,计算机科学理论科技名词有哪些,计算机科学理论科技名词的翻译

科学技术名词出版物

查看全部

计算机科学理论科技名词 计算机科学理论科学技术名词 计算机科学理论科技名词大全 计算机科学理论科技名词术语

计算机科学理论科技名词

计算机科学理论科技名词计算机科学理论科学技术名词计算机科学理论科技名词大全计算机科学理论科技名词术语