教育资源公共服务平台
站内导航
公共查询科学技术名词计算机科学理论
计算机科学技术

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

计算机科学理论科技名词

计算机科学理论 第4页
科技名词学科详情
锁归结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计算机科学技术 > 计算机科学理论详情
首页 末页 | 1 2 3 4 5 6 7 8 9 10 | 上一页 下一页
科学技术名词为您提供计算机科学理论科技名词,计算机科学理论科学技术名词,计算机科学理论科技名词大全,计算机科学理论科技名词术语,计算机科学理论科技名词有哪些,计算机科学理论科技名词的翻译
科学技术名词出版物
查看全部