Second Level Hypothetical Inference Based Automated Theorem Proving

会议类型: 国际会议

会议名称: 2006 International Conference on Artificial Intelligence

会议地点: 北京

会议语种:英文

页码: 126-128

在线出版日期: 2006-08-01（万方平台首次上网日期，不代表论文的发表时间）