机械化证明

作品数：15被引量：15H指数：2
导出分析报告
相关领域：理学自动化与计算机技术更多>>
相关作者：黄明吴文俊王志健杨争峰徐品方更多>>
相关机构：大连理工大学中国科学院兰州大学中国科学院数学与系统科学研究院更多>>
相关期刊：《兰州大学学报（自然科学版）》《课程．教材．教法》《大连理工大学学报》《中国科学：数学》更多>>
相关基金：国家自然科学基金更多>>
只显示领域
只显示作品
只显示人物
只显示机构
只显示资助
只显示期刊
只显示主题
相关作者更多
黄明
南京航空航天大学
吴文俊
中国科学院数学与系...
王志健
暨南大学自然辩证法...
杨争峰
华东师范大学软件学...
徐品方
西昌学院
曾振柄
上海大学理学院数学...
相关机构更多
相关主题更多