科研证明
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
刘保乾;
西藏自治区组织编制信息管理中心;
三角形几何不等式; 非负分拆; 角代换可扩展不等式; 机器证明;
机译:三角形中几何不等式的人工证明
机译:具有一个参数的三角形不等式的几何不等式
机译:几何不等式中与三角形中值,半径和外半径相关的最佳常数
机译:一类几何不等式自动证明的实用程序
机译:I.内部资本市场和银行关系:来自日本公司分拆的证据。二。内部资本市场,投资和银行关系:来自日本公司分拆的证据。
机译:生物子女与继子女:分拆和非分拆供应商的组织间学习过程
机译:三角形几何不等式的人工证明
机译:Eurochemic工厂的净化和部分拆解。第1部分。头端细胞的净化和两个溶解器的部分拆解
机译:简式建造证明和简式建造
机译:用于创建和/或更新机动车辆即汽车的用户简档的方法,包括将各个设置存储在用户简档中,在协议期间创建和/或更新用户简档以及对用户执行用户识别
机译:干扰用户的简档的方法,涉及向服务发送附加请求,使得简档被加扰,以及在发送服务之前,除了附加请求之外,还验证加扰的简档。
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。