Mnacho-Echenim等人：无量词等式逻辑和素蕴涵生成。(2015) conf/cade/EchenimPT15 10.1007/978-3-319-21401-6_21 无量词等式逻辑与素蕴涵生成。 三 Mnacho Echenim公司 1 尼古拉斯·佩尔蒂埃 2 索菲·图雷特 三 311-325 CADE公司 CADE公司 2015 2015 dblp记录“conf/cade/EchenimPT15”的RDF数据的来源信息 2017年5月21日0时17分18秒+0200