标签集
规范用词
标签集
英文翻译
tally set
所属学科
计算机科学技术
>
计算机科学理论
名词审定
计算机科学技术名词审定委员会
见载刊物
《
计算机科学技术名词(第二版)
》 科学出版社
公布时间
2002年
计算机科学理论 的上级学科
计算机科学技术
标签集 相关科技名词
多值逻辑
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
学习应用类查询
新华字典
汉语词典
成语大全
诗词大全
英文缩写
英语单词
在线翻译
英文名
科技名词
五笔字根表
笔画数
偏旁部首
汉字拼音
区位码
郑码查询
仓颉编码
四角号码
中文电码
简繁转换
编码解码
专业词典
计算器
摩尔斯电码
圆周率
全部查询
我的订单