退出
我的积分:
中文文献批量获取
外文文献批量获取
冷明; 唐毅; 吴悦; 杨洪斌;
上海大学计算机学院,上海,200072;
VHDL语言; 谓词逻辑; 定理证明;
机译:模态谓词逻辑中的个体概念
机译:VHDL语言在复杂联系网络研究中的应用
机译:关于具有常数域和嵌套域的Kripke框架的超直觉谓词逻辑
机译:DT-用于多值一阶谓词逻辑的自动定理证明器
机译:预测谓词逻辑推理问题的难度:谓词逻辑模型的实证检验
机译:通过将谓词逻辑应用于生物医学文献来预测蛋白质功能
机译:DT-多值一阶谓词逻辑的自动定理证明
机译:近似推理理论中的自动定理证明及其在逻辑程序设计和专家系统中的应用。
机译:融合蛋白,分离的核酸,载体,宿主细胞,生产多肽的方法,组合物,在个体中调节免疫应答的方法,用于增加重组蛋白在个体中的半衰期的方法以及用于提高其功效的方法个体中的重组蛋白和将治疗性蛋白应用于个体靶位的方法
机译:低密度氧化脂蛋白免疫疗法的应用,在个体中诱导动脉粥样硬化斑块消退的方法,至少一种ldl抗体或ldl的至少一种氧化表位的使用,与动脉粥样硬化相关的心血管疾病的防治方法,至少一种抗体的使用分子和至少一种Idl的氧化表位和他汀类药物,药物制剂,部分试剂盒,鉴定在个体中诱导动脉粥样硬化斑块消退的抗体和鉴定在个体中诱导动脉粥样硬化斑块消退的药剂的方法,抗体,药物组合物和抗体用途
机译:预防或治疗哺乳动物个体中的高脂血症和由高脂血症引起的心血管疾病或病症的一种或多种症状,控制哺乳动物个体中的高脂血症,治疗心血管疾病的一种或多种症状,调节ldlr表达的方法为了调节哺乳动物个体中的ldlr的表达和调节哺乳动物个体中erk的活化以及降低哺乳动物个体中的胆固醇,预防或减轻高脂血症的组合物,以治疗或预防哺乳动物个体的高脂血症增加ldlr在哺乳动物个体以及哺乳动物细胞,组织,器官或个体中的表达,以提高ldlr在哺乳动物细胞,组织,器官或个体中的稳定性,并提高ldlr在细胞,组织中的稳定性,哺乳动物器官或个体
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。