教育资源公共服务平台
站内导航
英语单词
英文缩写
英文名
科技词典
专业词典
中文字典
成语
汉语词典
国家查询
大学查询
软件下载
邮编查询
教育资源导航
公共查询
科学技术名词
计算机科学理论
计算机科学技术
计算机科学理论
矢列式 sequent 矢列式的意思 sequent的意思 矢列式的英文 sequent的翻译 矢列式的翻译 矢列式是什么意思
矢列式
规范用词
矢列式
英文对照
sequent
所属学科
计算机科学技术
>
计算机科学理论
名词审定
计算机科学技术名词审定委员会
见载刊物
《
计算机科学技术名词(第二版)
》 科学出版社
公布时间
2002年
科学技术名词为您提供矢列式,sequent,矢列式的意思,sequent的意思,矢列式的英文,sequent的翻译,矢列式的翻译,矢列式是什么意思,矢列式什么意思,sequent是什么意思,sequent什么意思
矢列式 相关科技名词
计算机科学理论»
多值逻辑
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