Mnacho-Echenim等人：对于具有未建立归纳规则的符号堆分离逻辑Formul，蕴涵是不确定的。(2022) 期刊/ip/EchenimIP22 2016年10月10日/J.IPL.2021.106169 对于具有未建立归纳规则的符号堆分离逻辑Formul，蕴涵是不确定的。 三 Mnacho Echenim公司 1 半径Iosif 2 尼古拉斯·佩尔蒂埃 三 106169 信息处理。莱特。 信息处理。莱特。 173 2022 dblp记录“journals/ipl/EchenimIP22”的RDF数据的来源信息 2021-10-11T17:12:59+0200