未找到相关数据
Second special issue on techniques for automated termination proofs - Preface
被引：0
作者：
Giesl, Juergen
Kapur, Deepak
机构：
关键词：
Mathematical Logic;
Formal Language;
Theorem Prover;
Ordinal Number;
Decidability Result;
D O I：
10.1007/s10817-005-9021-y
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ;
0812 ;
0835 ;
1405 ;
摘要：
引用
收藏
页码：323 / 323
页数：1
相关论文