BibTeX记录日志/tplp/FeierH13
@文章{DBLP:journals/tplp/FeierH13, author={Cristina Feier和 斯迪恩·海曼斯}, title={使用森林逻辑程序和f-hybrid知识库进行推理}, journal={Theory-Pract.Log.Program.}, 体积={13}, 数字={3}, 页数={395--463}, 年份={2013}, url={ https://doi.org/10.1017/S1471068411000597 }, doi={10.1017/S1471068411000597}, 时间戳={2020年2月13日星期四14:39:34+0100}, biburl={ https://dblp.org/rec/journals/tplp/FieerH13.bib }, bibsource={dblp计算机科学书目, 网址:https://dblp.org } }