退出
我的积分:
中文文献批量获取
外文文献批量获取
马光文;
郑州大学物理系;
Bell定理; 量子力学; 隐变数理论; C-H证明;
机译:关于两个,三个和四个量子位的Bell-Kochen-Specker定理的小证明
机译:基于600单元的Bell-Kochen-Specker定理的奇偶性证明
机译:启发式定理证明:另一个SMT模定理证明
机译:并行化交互式定理证明:使用ACL2进行函数式编程和证明。
机译:就职文章:某些客观局部参数空间的Bell定理的分解
机译:通过测试majorana线中的Bell \ u27s定理来证明纠缠
机译:哪个定理证明。四种定理证明方法综述
机译:用于定理证明的设备和方法,但不披露导致定理的文件
机译:在传输设备的警报消息上附加表示不可靠性的标记的方法以及利用该不可靠性标记保持传输设备的警报消息之间的一致性的方法
机译:不可靠性检测器设备以及具有该不可靠性检测器设备的再现设备
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。