登录    注册    忘记密码
高级检索
概览 下级机构 专家学者 科研产出 学科建设 成果管理 成果提交 成果认领 成果审核 学术分析 机构森林 关于我们

张海宾 收藏

导出分析报告

研究主题：区间时序逻辑    可满足性判定    时序逻辑    博弈模型    虚拟机    

研究学科：自动化类    电子信息类    生物科学类    

被引量：21H指数：3

详细介绍研究成果关系图谱计量评价荣誉奖励

版权所有©重庆科技学院 重庆维普资讯有限公司 渝B2-20050021-7
　渝公网安备 50019002500408号　违法和不良信息举报中心