BÜCHI自动机

作品数：27被引量：46H指数：5
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：李永明易锦徐中伟田聪段振华更多>>
相关机构：桂林电子科技大学陕西师范大学西安电子科技大学中国科学院软件研究所更多>>
相关期刊：《清华大学学报（自然科学版）》《计算机与现代化》《计算机应用与软件》《小型微型计算机系统》更多>>
相关基金：国家自然科学基金国家教育部博士点基金国家高技术研究发展计划国家科技支撑计划更多>>
只显示领域
只显示作品
只显示人物
只显示机构
只显示资助
只显示期刊
只显示主题
相关作者更多
李永明
陕西师范大学计算机...
易锦
中国科学院软件研究...
徐中伟
同济大学电子与信息...
田聪
西安电子科技大学通...
段振华
西安电子科技大学通...
王聪
解放军理工大学通信...
相关机构更多
相关主题更多