高阶逻辑程序系统与推理模型
68975016
1989
F0305.生物、医学信息系统与技术
陈其明
面上项目
教授
清华大学
4万元
演绎数据库;高阶逻辑程序系统;知识工程
1990-01-01到1992-12-31
- 中英文摘要
- 结题摘要
- 结题报告
- 项目成果
- 项目参与人
查看更多信息请先登录或注册
查看更多信息请先登录或注册
查看更多信息请先登录或注册
未查询到项目成果
查看更多信息请先登录或注册
