BibTeX记录日志/corr/abs-1907-02836
@文章{DBLP:journals/corr/abs-1907-02836， author={Lawrence C.Paulson和 托比亚斯·尼普科和 Makarius Wenzel}， title={从{LCF}到Isabelle/HOL}， journal＝{CoRR}， 体积={abs/1907.02836}， 年份={2019}， url={ http://arxiv.org/abs/1907.02836 }, eprinttype={arXiv}， eprint={1907.02836}， timestamp={2019年7月8日，星期一14:12:33+0200}， biburl={ https://dblp.org/rec/journals/corr/abs-1907-02836.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
