产业集群决策
 
自动化定理证明的发展与现状
 
何运 陈进才
关键词：人工智能 自动化 定理证明
 
主要内容：
 
《西安公路学院学报》  1989,7(2).-16-30
全文下载请进入http://hightech.stlib.cn/tpi_1/sysasp/include/index.asp
Copyright © 广东省科技图书馆（广东省科学院信息研究所）  
粤ICP备05059360号-1 详细地址：广州市先烈中路100号        
联系电话：020-37656525 咨询邮箱：stlib@stlib.cn
  •  

  • 微信公众号

仿站