叶夫根尼·克鲁格洛夫（Evgeny Kruglov）和克里斯托夫·魏登巴赫（Christoph Weidenbach）：叠加决定了一阶逻辑片断的基础理论。(2012) 期刊/mics/Kruglov W12 2017年10月10日至2011年12月1日至0135-4 叠加决定了一阶逻辑片断的基本理论。 2 叶夫根尼·克鲁格洛夫 1 克里斯托夫·魏登巴赫 2 427-456 数学。计算。科学。 数学。计算。科学。 6 4 2012 dblp记录“journals/mics/KruglovW12”的RDF数据的来源信息 2020-08-12T10:36:10+0200