Mnacho-Echenim等人：用归纳定义统一分离逻辑中的可判定蕴涵。(2021) conf/cade/EchenimIP21 10.1007/978-3-030-79876-5_11 用归纳定义统一分离逻辑中的可判定蕴涵。 三 Mnacho Echenim公司 1 半径Iosif 2 尼古拉斯·佩尔蒂埃 三 183-199 CADE公司 CADE公司 2021 2021 dblp记录“conf/cade/EchenimIP21”的RDF数据的来源信息 2021-07-29T13:42:16+0200