退出
我的积分:
中文文献批量获取
外文文献批量获取
颜晓峰;
天津大学马克思主义学院;
机译:推理;直觉逻辑;证明理论;逻辑性质;逻辑运算符
机译:真实算术逻辑逻辑证明理论
机译:机器检查证明理论:逻辑在逻辑中的应用
机译:谓词模态逻辑的可计算性和证明理论的一些结果
机译:局部有限多值逻辑的证明理论:半射逻辑
机译:走向LOGCFL的富裕证明理论和相关主题(逻辑和计算结构的证明理论研究)
机译:授权逻辑的证明理论及其在实际文件系统中的应用
机译:说明理论和实际运动学的装置
机译:一种用于说明理论和实际运动学的装置
机译:分离的负义单链RNA病毒,分离的或重组的核酸或其特定功能的mpv片段,载体,宿主细胞,分离的或重组的蛋白质分子或其特定的功能mpv片段,抗原,抗体,将病毒分离物鉴定为mpv,病毒分离物,用于病毒学和血清学诊断哺乳动物mpv感染的方法,用于诊断mpv感染的诊断试剂盒,病毒,核酸,载体,细胞宿主,蛋白质分子或其片段,抗原的用途,或抗体,药物组合物,用于治疗或预防mpv感染和呼吸道疾病以及获得可用于治疗疾病的抗病毒剂的方法。呼吸道,抗病毒药,病毒药的使用,禽apv感染的病毒学诊断和逻辑诊断方法,诊断测试的使用以及检测样品中针对mpv的抗体的方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。