BibTeX记录日志/afp/Echenim21
@文章{DBLP:journals/afp/Echenim21, 作者={Mnacho Echenim}, title={量子投影测量和{CHSH}不等式}, 日志={Arch.Formal Proofs}, 体积={2021}, 年份={2021}, url={ https://www.isa-afp.org/entries/Projective网站 \_Measurements.html}, 时间戳={2021年3月24日星期三17:37:24+0100}, biburl={ https://dblp.org/rec/journals/afp/Echenim21.bib }, bibsource={dblp计算机科学书目, 网址:https://dblp.org } }