未找到相关数据
Prof. Dr. Harald Ganzinger - Obituary
被引：0
作者：
Kapur, D
机构：
关键词：
D O I：
10.1007/BF03177741
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ;
0812 ;
0835 ;
1405 ;
摘要：
引用
收藏
页码：III / III
页数：1
相关论文