约束归纳逻辑程序设计的研究
69883001
1998
F0203.软件理论、软件工程与服务
刘椿年
专项基金项目
教授
北京工业大学
12万元
归纳逻辑程序设计.约束逻辑程序设计.
1999-01-01到2001-12-31
- 中英文摘要
- 结题摘要
- 结题报告
- 项目成果
- 项目参与人
查看更多信息请先登录或注册
查看更多信息请先登录或注册
查看更多信息请先登录或注册
未查询到项目成果
查看更多信息请先登录或注册
