位置：立项数据库 > 立项详情页
应用逻辑、数理逻辑及其在计算机科学技术中的应用研究
  • 项目名称：应用逻辑、数理逻辑及其在计算机科学技术中的应用研究
  • 项目类别：面上项目
  • 批准号：69173324
  • 项目来源：国家自然科学基金
  • 研究期限：1900-01-01-1900-01-01
  • 项目负责人：杨东屏
  • 依托单位：中国科学院软件研究所
  • 批准年度：1991
杨东屏的项目
软件的逻辑及相关技术研究
期刊论文 6
带可枚举信息源的计算和学习理论
数理逻辑及其在计算机科学技术中的应用