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

计算机科学理论科技名词

计算机科学理论第2页

科技名词	学科	详情
形式规则formation rule	计算机科学技术 > 计算机科学理论	详情
原子公式atomic formula	计算机科学技术 > 计算机科学理论	详情
论域domain	计算机科学技术 > 计算机科学理论	详情
前束范式prenex normal form	计算机科学技术 > 计算机科学理论	详情
代入substitution	计算机科学技术 > 计算机科学理论	详情
代入复合composition of substitution	计算机科学技术 > 计算机科学理论	详情
关系系统relation system	计算机科学技术 > 计算机科学理论	详情
勒文海姆-斯科伦定理	计算机科学技术 > 计算机科学理论	详情
高阶逻辑higher order logic	计算机科学技术 > 计算机科学理论	详情
二阶逻辑second order logic	计算机科学技术 > 计算机科学理论	详情
多值逻辑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	计算机科学技术 > 计算机科学理论	详情

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

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

科学技术名词出版物

查看全部

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

计算机科学理论科技名词

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