A Tour of Franz Baader's Contributions to Knowledge Representation and Automated Deduction.Carsten Lutz,Uli Sattler,Cesare Tinelli,Anni-Yasmin Turhan,Frank WolterDescription Logic, Theory Combination, and All That(2019)引用 0|浏览230暂无评分AI 理解论文溯源树样例生成溯源树,研究论文发展脉络