全部作者：杨洋, 刘磊, 李广力, 张桐搏, 吕帅*
发表时间：2018-04-01
发表刊物：计算机学报
卷号：41
期号：4
页面范围：825-839
备注：杨洋, 刘磊, 李广力, 张桐搏, 吕帅*. 一种新的基于局部搜索的扩展规则推理方法. 计算机学报, 2018, 41(4): 825-839.
是否译文：否