Mnacho Echenim和Mehdi Mhalla:Isabelle/HOL中CHSH不等式和Tsirelson上界的形式化。(2024) 轴颈/jar/EchenimM24 2007年10月10日/S10817-023-09689-9 Isabelle/HOL中CHSH不等式和Tsirelson上界的形式化。 2 Mnacho Echenim公司 1 迈赫迪·姆哈拉 2 2 J.自动化。原因。 J.自动化。原因。 68 1 2024 --03 dblp记录“journals/jar/EchenimM24”的RDF数据的来源信息 2024年1月15日08:23+0100