BibTeX记录conf/cade/BeerleFKT10
@正在进行{DBLP:conf/cade/BeierleFKT10， author={Christoph Beierle和 马克·芬塔默和 加布里埃尔·科恩 {-}伊斯伯纳 和 马提亚斯·蒂姆}， editor={J{\“{u}}rgen Giesl和 雷纳H{\“{a}}hnle}， title={关系概率知识表示的自动推理}， booktitle={自动推理，第五届国际联合会议，{IJCAR}2010， 2010年7月16日至19日，英国爱丁堡。 诉讼}， series={计算机科学讲稿}， 体积={6173}， 页码={218--224}， publisher={Springer}， 年份={2010}， url={ https://doi.org/10.1007/978-3-642-14203-1 \_19}, doi={10.1007/978-3-642-14203-1\_19}， 时间戳＝｛2019年9月25日星期三18:19:14+0200｝， biburl={ https://dblp.org/rec/conf/cade/BeierleFKT10.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
