退出
我的积分:
中文文献批量获取
外文文献批量获取
齐祥来; 周世国;
郑州大学数学系,郑州,450052;
推广的; 命题; 通用的; 解法;
机译:将二值命题逻辑中的卡尔马可推导性证明推广为多值逻辑
机译:带有概率元素的逻辑网理论对命题演算的推广
机译:Vietbocap Lourenco和Pham的属,2010年(蝎子:P科);一个新的亚科的命题和一个来自老挝的新物种的描述
机译:当空间的性质和持续时间变为拨款:一个命题 - “使用”作为一个国家对活跃碎片去除的法律谓词
机译:重多面体的面,是Vinberg和Koszul代数定理的一个推广。
机译:新细菌的基于序列的识别:创建一个孤儿细菌存储库的命题。
机译:Uma nova命名法命题:“RonjeplasticInjeção”一个新术语的命题:“Rhonchoplastic Injection”
机译:一个问题的四维描述几何命题
机译:海洋无线电频道命题设备,海洋无线电频道命题计划和海洋无线电频道命题方法
机译:命题设备,命题系统,命题方法和程序
机译:从一个世代向另一个世代推广ICA知识,以改善胎儿的心电图分离。
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。