位置：立项数据库 > 立项详情页
　基于性质测试的同构问题研究
  • 项目名称：　基于性质测试的同构问题研究
  • 批准号：t532282001
  • 项目来源：贵州省2013年度科学技术基金项目
  • 研究期限：2013-04-
  • 项目负责人：韦立
  • 依托单位：贵州师范大学
  • 批准年度：2013
韦立的项目
测试一阶逻辑可定义图性质
期刊论文 15
　基于性质测试的同构问题研究