Mnacho Echenim和Nicolas Peltier：分离逻辑与理论推理的不可判定性结果。(2023) 期刊/ipl/EchenimP23 2016年10月10日/J.IPL.2023.106359 分离逻辑与理论推理的不可判定性结果。 2 Mnacho Echenim公司 1 尼古拉斯·佩尔蒂埃 2 106359 信息处理。莱特。 信息处理。莱特。 182 2023 --08 dblp记录'journals/ipl/EchenimP23'的RDF数据的来源信息 2023-06-15T21:57:42+0200年