Mnacho Echenim和Nicolas Peltier：用归纳定义和数据证明分离逻辑的过程。(2023) 日志/jar/EchenimP23 2017年10月10日至2017年10月23日至9月680-4 带有归纳定义和数据的分离逻辑的证明过程。 2 Mnacho Echenim公司 1 尼古拉斯·佩尔蒂埃 2 30 J.汽车。原因。 J.汽车。原因。 67 三 2023 --09 dblp记录'journals/jar/EchenimP23'的RDF数据的来源信息 2023-09-22T15:59:30+0200