位置：立项数据库 > 立项详情页
信息科学中若干理论问题的机械化证明
  • 项目名称：信息科学中若干理论问题的机械化证明
  • 项目类别：面上项目
  • 批准号：61370176
  • 项目来源：国家自然科学基金
  • 研究期限：1900-01-01-1900-01-01
  • 项目负责人：郁文生
  • 依托单位：北京邮电大学
  • 批准年度：2013
成果综合统计
成果类型
数量
  • 期刊论文
  • 会议论文
  • 专利
  • 获奖
  • 著作
  • 3
  • 0
  • 0
  • 0
  • 0
期刊论文
传感网中的四锚点节点定位实解个数分析
阶梯波多电平变换器特定谐波消除的完全解
局部证据RBF人体行为高层特征自相似融合识别
郁文生的项目
基于证明辅助工具Coq和多项式代数方法的智能信号处理
期刊论文 1