论文部分内容阅读
<正>李德毅指挥自动化和人工智能专家。现任总参第61研究所研究员,中国人工智能学会理事长。参加了多项电子信息系统重大工程的研制和开发。最早提出控制流一数据流图对理论和一整套用逻辑语言实现的方法。证明了关系数据库模式和一阶谓词逻辑的对等性,
李德毅
【摘 要】
：
<正>李德毅指挥自动化和人工智能专家。现任总参第61研究所研究员,中国人工智能学会理事长。参加了多项电子信息系统重大工程的研制和开发。最早提出控制流一数据流图对理论
【出 处】
：
高科技与产业化
【发表日期】
：
2013年10期
其他文献
<正>独活寄生汤为《孙思邈千金要方》方,由独活三两(6g)、桑寄生、杜仲、牛膝、细辛、秦艽、茯苓、肉桂心、防风、川芎、人参、甘草、当归、芍药、干地黄各二两(各6g)组成,功
专门用途英语（ESP）的研究可以追溯到二十世纪六十年代，目前已经历了五个阶段的发展过程。但是物流英语（EL）作为专门用途英语的一项新的分支学科，近几年才引起研究人员的关注。物流