退出
我的积分:
中文文献批量获取
外文文献批量获取
刘少平;
中学; 数学; 练习题; 参考答案; 平行线; 命题; 定理; 证明;
机译:关于命题微积分中定理定理证明的知识库
机译:CADE-20自动定理证明竞赛
机译:我们到了吗?用SPARK证明20年的工业定理
机译:重写历史和证明财产权:20世纪(亚利桑那州)的华拉派印第安人行动主义和土地所有权法。
机译:更正为:基于SPRI生物传感器的20S免疫蛋白酶体和20S组成型蛋白酶体测定方法
机译:智利和阿根廷19世纪和20世纪思想的第二次独立:达到它的战略的变化:四个反思和一个命题= 19世纪和20世纪智利和阿根廷思想的第二独立概念:战略的变化实现它:四个反思和一个建议
机译:命题模态逻辑的矩阵定理证明器的实现
机译:命题模态逻辑定理证明装置
机译:(54)标题:平面天线阵列和使用其的制造物品(57)摘要:公开了一种平面天线阵列(10)和使用该阵列天线的制品。在一个实施例中,密排天线元件(14)设置在基板(12)上,编号为N,其中N = 3x,并且x是正整数。每个密排天线元件(14)包括基本上连续的光子换能器(16),其布置为具有六匝(20A,20B,20C,20D,20E,20F)的向外扩展的大体对数螺旋(18)。每个向外扩展的大致对数螺旋(18)可以是金色螺旋。作为制品,例如,可以将平面天线阵列(10)结合到诸如蜂窝电话(40)之类的芯片(30)或衣物(50)中。
机译:抗体,杂交瘤,转染子,真核或原核宿主细胞,非人类动物或转基因植物,组合物,免疫缀合物,双特异性分子,试剂盒,表达载体和产生人类单克隆抗体的方法,可抑制表达cd20的细胞的生长,杀死小鼠cd20表达细胞,治疗或预防疾病,并检测样品中cd20抗原或cd20表达细胞和患者中cd20抗原或cd20表达细胞的存在
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。