退出
我的积分:
中文文献批量获取
外文文献批量获取
刘林元;
南京大学哲学系;
同一性; 斗争性; 抽象同一性; 具体同一性;
机译:相对论的NP搜索问题和命题证明系统
机译:命题解决方案的完整性:简单而建设性的证明
机译:一个可证明的全球最佳解决方案,对非最小相对姿势问题
机译:解决搜索问题复杂性的逻辑方法:证明复杂性,量化命题演算和有界算术。
机译:剥夺是一个相对的概念吗?绝对!
机译:命题解决的完整性:一个简单的和 建设性的证明
机译:命题演算中定理证明的解决程序的复杂性。
机译:由计算机执行到自动纠纷解决的过程,利用它的要求在至少两个部分之间建立纠纷并提供货币协议。自动建立涉及对方的货币价值的对方之间的纠纷,以解决争议相对方之间的索赔,索赔的解决,争端的解决自动地自动进行。要运行一个解决争端的系统,根据争端,争端的建立,以一条直线完成一项争端的解决。这包括在具有至少一个中央处理单元的系统中解决多个自动争议解决方案的争议解决步骤,以及用于沟通和处理一系列满足个人索赔要求的要求的步骤,这些争议解决系统都是直线的,索赔的争端解决。以及自动解决争端和解决争端的应用
机译:用于测量一个物体相对于另一个物体运动的绝对位置的系统和方法
机译:用于通过卫星导航系统确定接收机的至少一个实值参数,特别是接收机的绝对或相对位置的方法,参考站网络和移动导航设备
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。