退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:基于差异逻辑的差异逻辑的时间Petri网逻辑表达式表示
井川直; 横川智教; 宮崎仁; 近藤真史; 佐藤洋一郎; 有本和民;
岡山県立大学大学院情報系工学研究科;
岡山県立大学情報工学部;
川崎医療福祉大学医療技術学部;
有界モデル検査; 形式的検証; SMTソルバ; MathSAT;
机译:基于差异逻辑的时间小报的逻辑表达式表示,旨在加快边界模型检查
机译:基于领域理论的软活性物质建模基本研究,该领域已扩展到芬斯勒空间
机译:固体氦核磁弛豫时间的研究:基于现象学模型,查看T_1和T_2的利用统计
机译:多元智能理论对生命研究的学习研究-基于多元智能理论的课程和实践模型的验证-
机译:获得专利[制造酒精饮料的方法]通过在专利号5024646中添加二氧化碳添加/气体体积处理,可以根据气体体积的强度(高和低)以四种方式享受番茄啤酒和番茄泡沫酒的口味。如何制作番茄酒精饮料。
机译:基于遗传多态性的食品过敏风险预测方法和试剂盒
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。