Mnacho-Echenim等人：一个选择器字段的Prenex分离逻辑。(2019) conf/tableaux/EchenimIP19 10.1007/978-3-030-29026-9_23 带一个选择器字段的Prenex分离逻辑。 三 Mnacho Echenim公司 1 半径Iosif 2 尼古拉斯·佩尔蒂埃 三 409-427 TABLEAUX公司 TABLEAUX公司 2019 2019 dblp记录“conf/tableaux/EchenimIP19”的RDF数据的来源信息 2019-08-22T12:11:15+0200