位置：立项数据库 > 立项详情页
一个多用途的机器推理与证明系统RPS
  • 项目名称：一个多用途的机器推理与证明系统RPS
  • 项目类别：面上项目
  • 批准号：68673022
  • 项目来源：国家自然科学基金
  • 研究期限：1900-01-01-1900-01-01
  • 项目负责人：唐稚松
  • 依托单位：中国科学院软件研究所
  • 批准年度：1986
唐稚松的项目
基于XYZ系统的实时与两栖反应系统研究
期刊论文 3 会议论文 1 著作 1
基于XYZ/E的可视化软件体系结构描述语言研究
期刊论文 22 会议论文 2 著作 1
XYZ 系统基础上面向实时控制等工程领域专用环境研究