Mnacho-Echenim等人：任意域上分离逻辑的Bernays-Schönfinkel-Ramsey类。(2019) conf/fossacs/EchenimIP19 10.1007/978-3-030-17127-8_14 任意域上的Bernays-Schönfinkel-Ramsey分离逻辑类。 三 Mnacho Echenim公司 1 半径Iosif 2 尼古拉斯·佩尔蒂埃 三 242-259 FoSSaCS公司 FoSSaCS公司 2019 2019 dblp记录“conf/foss/EchenimIP19”的RDF数据的出处信息 2019-08-20T15:26:54+0200