退出
我的积分:
中文文献批量获取
外文文献批量获取
程晓春;
中国计算机学会;
模态逻辑D系统;
机译:完全标记的直觉模态逻辑证明系统
机译:异步CDMA系统中线性多用户检测器的递归结构和有限冲激响应实现
机译:使用广义的维特比算法来实现一个高效的图像标记系统
机译:最大限度地提高标志标记的雌激素受体β的表达,并开发双表达杆状病毒系统以表达雌激素受体α和β。
机译:草菇的子实体形成可以独立于其MAT-A控制的双极交配系统而实现从而实现同性和异族生命周期。
机译:基于电子耳标和分子标记的猪生产链可追溯系统的实现基于电子耳标和分子标记的猪链可追溯系统的实现=对猪生产链的可追溯系统的实施基于电子耳标和分子标记/
机译:在广义量词理论,模态逻辑和知识表示中计算对象
机译:用于使用嵌套/递归结构实现复杂对象的内容管理系统和方法
机译:递归结构化数据处理方法和系统以及用于存储递归结构化数据处理程序的存储介质
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。