Mnacho-Echenim等人：等式逻辑中的外推推理方法。(2013) conf/ijcai/EchenimPT13 等式逻辑中的一种外推推理方法。 三 Mnacho Echenim公司 1 尼古拉斯·佩尔蒂埃 2 索菲·图雷特 三 531-537 国际JCAI 国际JCAI 2013 2013 dblp记录“conf/ijcai/EchenimPT13”的RDF数据的来源信息 2022-03-08T17:41:49+0100