退出
我的积分:
中文文献批量获取
外文文献批量获取
古华茂; 王勋; 凌云; 高济;
浙江工商大学;
计算机与信息工程学院;
浙江;
杭州;
310018;
浙江大学;
人工智能研究所;
310027;
描述逻辑推理; 可满足性 ; 析取范式; SHOIN(D); Tableau ;
机译:作用于阿贝尔群的群型结构的基本等价性和可判定性
机译:常规语言匹配的复杂性以及常规开放术语之间的约束可满足性问题的其他可判定案例
机译:词方程的可满足性:可判定和不可判定的理论
机译:通过结合分布式门诊实践来针对人群健康计划来满足非营利性医院的社区利益义务:混合方法研究的结果
机译:研究风险的人患有精神疾病:判定的框架以满足伦理挑战
机译:Koyanagi Takeka的shoin Tanaka shigehiro shoin Hori Yoshimichi shoin O Okuru
机译:关于单模群中完全对称群的包含性
机译:有效性判定用磁性粉末,有效性判定用磁性粉末的制造方法,有效性判定用磁性墨水,有效性判定用印刷部件,有效性判定用印刷部件的检测装置以及有效性判定装置
机译:车辆的后座靠背框架,能够完全满足内部装配法规的要求,并且带条的装配性得到改善
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。