未找到相关数据
Nominal techniques in isabelle/HOL
被引：0
作者：
Urban, Christian
[1
]
机构：
[1] Technical University Munich, Munich, Germany
来源：
Journal of Automated Reasoning
|
2008年
/
40卷
/
04期
关键词：
Particle accelerators;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Journal article (JA)
引用
收藏
页码：327 / 356
相关论文
未找到相关数据