未找到相关数据
AUTOMATED DEDUCTION - CADE-11 - 11TH INTERNATIONAL-CONFERENCE ON AUTOMATED DEDUCTION SARATOGA-SPRINGS, NY, USA, JUNE 15-18, 1992 PROCEEDINGS
被引：0
作者：
KAPUR, D
机构：
来源：
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE
|
1992年
/
607卷
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ;
0812 ;
0835 ;
1405 ;
摘要：
引用
收藏
页码：R5 / R5
页数：1
相关论文