科研证明
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:Lindström量词可定义的常规语言
Ésik Zoltán; Larsen Kim G.;
机译:由LINDSTROEM量化器定义的常规语言
机译:常规语言定义的线性切换系统的稳定性分析
机译:对常规语言定义的扩展关系的功能依赖性
机译:具有两个变量的多数量词可定义的常规语言
机译:学习常规语言和自动机图。
机译:常规拼接语言中常量的存在
机译:在常规(ω)语言上对N种常规(ω)语言和产品进行操作
机译:用于量化定义蛋白质聚集疾病或淀粉样变性或蛋白质解折叠病的内源性蛋白质致病性聚集体或寡聚体的标准,含多肽的树枝状大分子,图案的产生方法,图案的使用,包含至少一种标准的试剂盒和定量内源性蛋白质的方法定义蛋白质聚集疾病或淀粉样变性或蛋白质解折叠病的致病性聚集体或寡聚体
机译:定量定义致病性聚集体或寡聚体的内源蛋白的标准,这些致病性聚集体或寡聚体定义了蛋白质聚集或阿米洛伊德变性或去斑丝脑膜蛋白疾病。定量定义蛋白质聚集疾病或变性阿米洛利或糖尿病的致病性聚集体或寡聚体内源蛋白质的标准和方法
机译:将用户自定义源语言的文本转换为用户自定义目标语言的文本的方法,涉及到国际上对照度-饱和度饱和度角模型的统一调制
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。