Cristina Feier和Stijn Heymans：森林逻辑程序推理的优化（2010） 期刊/corr/abs-1011-5894 1011.5894 森林逻辑程序推理的优化 2 克里斯蒂娜·费尔 1 斯迪恩·海曼斯 2 CoRR公司 CoRR公司 abs/1011.5894 2010 dblp记录“journals/corr/abs-1011-5894”的RDF数据的来源信息 2018年8月13日16:47:35+0200