退出
我的积分:
中文文献批量获取
外文文献批量获取
吴鸿雅;
厦门大学哲学系;
朱载坷; 新法密率; 科学抽象; 逻辑证明;
机译:通过标注的序列证明进行命题抽象分离逻辑的证明搜索
机译:通过带标签的序列来证明介词抽象分离逻辑的证明搜索
机译:先验的逻辑,逻辑的概念和前后矛盾的程度:根据范畴逻辑实证主义证明科学的多元统一性
机译:TWAM:用于逻辑程序的证明抽象机
机译:威斯康星大学密尔沃基分校工程与应用科学学院的新生留住率研究。
机译:特纳综合征的产前和产后患病率。没有科学证据可以证明研究结论。
机译:抽象效应与证明相关的逻辑关系
机译:计算科学。通过抽象解决分离(使用证明)。
机译:流感嗜血杆菌的新型核酸酶证明了其热稳定性,并在工业和科学研究中得到了应用
机译:如何创建密文明文在区间内的证明系统和证明文本,基于证明文本的验证方法
机译:逆向遗传方法从高致病性供体A /鸡/ ASTANA / 6/05(H5N1)和高繁殖性供体产生的重组A / ASTANARG / 6:2/2009 M-12-09 / D流感病毒菌株哈萨克斯坦共和国教育和科学部的科学委员会的微生物库中发现了甲型流感病毒的正粘病毒科的A / PUERTO RICO / 8/34(H1N1)菌株。哈萨克斯坦共和国国家生物技术中心共和国国家企业生物安全问题科学研究院,可用于生产A / H5N1 FLU的诊断和疫苗制备的生物技术
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。