退出
我的积分:
中文文献批量获取
外文文献批量获取
孙默君;
辅助线; 外接圆半径; 证法; 垂足三角形; 直线方程; 点对应; 矢野健太郎; 单位圆; 司礼; 红卫;
机译:没有Edwards-Walsh CW复数的Edwards-Walsh分辨率定理的证明
机译:复数论中欧拉定理的新证明
机译:复习一个实变量复数的一个定理
机译:启发式定理证明:另一个SMT模定理证明
机译:模型检查和定理证明:一个统一的框架。
机译:穆纳汉发现的一个定理的证明
机译:启发式定理证明者:另一个smt-模定理证明者
机译:哪个定理证明。四种定理证明方法综述
机译:用于定理证明的设备和方法,但不披露导致定理的文件
机译:通过从实际样本中确定理想的复数样本并将复数商的幅度设置为1,来确定数字调制输入信号的相位噪声频谱
机译:超市中个人出示的支付单位证明装置,具有读取器,用于读取身份证明文件中包含的标识符,以及用于恢复数据的恢复单元,其中以标识符进行证明的支付
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。