Mnacho Echenim和Nicolas Peltier：分离逻辑与理论推理的两个结果。(2022) 日记账/corr/abs-2206-09389 10.48550/ARXIV.2206.09389 分离逻辑与理论推理的两个结果。 2 Mnacho Echenim公司 1 尼古拉斯·佩尔蒂埃 2 CoRR公司 CoRR公司 abs/2206.09389 2022 dblp记录'journals/corr/abs-2206-09389'的RDF数据的来源信息 2022-06-27 T16:51:57+0200