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