提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”TY-CPAPER公司ID-DBLP:conf/ijcai/EchenimPT13非盟-埃切尼姆，姆纳乔非盟-佩尔蒂埃，尼古拉斯AU-索菲·托雷特TI——等式逻辑中的一种外推推理方法。BT-IJCAI 2013，第23届国际人工智能联合会议论文集，中国北京，2013年8月3-9日SP-531型EP-5372013年上半年//UR-（欧元）http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6624UR-（欧元）http://ijcai.org/Abstract/13/086急诊室-