BibTeX记录日志/corr/abs-1204-2990
@文章{DBLP:journals/corr/abs-1204-2990, author={Mnacho Echenim和 尼古拉斯·佩尔蒂埃}, title={公式模式推理}, journal={CoRR}, 体积={abs/1204.2990}, 年份={2012}, url={ http://arxiv.org/abs/1204.2990 }, eprinttype={arXiv}, eprint={1204.2990}, timestamp={2018年8月13日星期一16:46:53+0200}, biburl={ https://dblp.org/rec/journals/corr/abs-1204-2990.bib }, bibsource={dblp计算机科学书目, 网址:https://dblp.org } }