BibTeX记录conf/cade/EchenimP12
@进行中{DBLP:conf/cade/EchenimP12， author={Mnacho Echenim和 尼古拉斯·佩尔蒂埃}， editor={Bernhard Gramlich和 戴尔·米勒和 乌利·萨特勒}， title={生成基本解释的微积分}， booktitle={自动推理-第六届国际联合会议，{IJCAR} 2012年，英国曼彻斯特，2012年6月26日至29日。 诉讼}， series={计算机科学讲稿}， 体积={7364}， 页数={194--209}， publisher={Springer}， 年份={2012}， url={ https://doi.org/10.1007/978-3-642-31365-3 \_17}, doi={10.1007/978-3-642-31365-3\_17}， timestamp={2019年5月14日星期二10:00:39+0200}， biburl={ https://dblp.org/rec/conf/cade/EchenimP12.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
