产业集群决策
 
形式化的程序综合方法及综合器NEAT
 
潘hao 朱关铭
关键词：形式分析 程序综合法 人工智能
 
主要内容：
 
《计算机应用与软件》  1989,6(2).-19-23,9
全文下载请进入http://hightech.stlib.cn/tpi_1/sysasp/include/index.asp
Copyright © 广东省科技图书馆（广东省科学院信息研究所）  
粤ICP备05059360号-1 详细地址：广州市先烈中路100号        
联系电话：020-37656525 咨询邮箱：stlib@stlib.cn
  •  

  • 微信公众号

仿站