BibTeX记录conf/adg/GaoHJ00
@正在进行{DBLP:conf/adg/GaoHJ00， author={肖 {-}山 Gao和 雷 {-}侗族 黄和 姜坤， editor={J{\“{u}}rgen Richter {-}盖伯特 和 王东明， title={求解几何约束问题的混合方法}， booktitle={几何自动演绎，第三届国际研讨会，{ADG} 2000年9月25日至27日，瑞士苏黎世，修订论文}， series={计算机科学讲稿}， 体积＝{2061}， 页数={16--25}， publisher={Springer}， 年份={2000}， url={ https://doi.org/10.1007/3-540-45410-1 \_2}, doi={10.1007/3-540-45410-1\_2}， 时间戳={2019年11月19日星期二15:07:32+0100}， biburl={ https://dblp.org/rec/conf/adg/GaoHJ00.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
