BibTeX记录conf/生日/KapurZHZLN13
@正在进行{DBLP:conf/生日/KapurZHZLN13， 作者=｛Deepak Kapur和 Zhihai Zhang和 马提亚斯·霍巴赫和 赵恒军和 齐鲁和 ThanhVu Nguyen}， editor={Maria Paola Bonacina和 Mark E.Stickel}， title=｛用于自动生成的几何量化器消除启发式算法 八角和Max-plus不变量}， booktitle={自动推理和数学-纪念威廉的论文 W.McCune}， series={计算机科学讲义}， 体积={7788}， 页码＝{189-228}， publisher={Springer}， 年份＝{2013}， url={ https://doi.org/10.1007/978-3-642-36675-8 \_11}, doi={10.1007/978-3-642-36675-8\_11}， timestamp={2019年5月14日星期二10:00:52+0200}， biburl={ https://dblp.org/rec/conf/birthday/KapurZHZLN13.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
