位置:成果数据库 > 著作 > 著作详情页
基于标记准经典逻辑的需求测试方法
  • 所属机构名称:中国科学院数学与系统科学研究院
  • 成果类型:著作
  • 出版社:《知识科学与计算科学》(陆汝钤主编),清华大学出版社
  • 相关项目:非规范知识处理的基本理论和核心技术
同著作项目
期刊论文 8 会议论文 342 著作 24
同项目著作