咨询与建议
  • 全部搜索
  • 期刊论文
  • 图书
  • 学位论文
  • 标准
  • 纸本馆藏
  • 外文资源发现
  • 数据库导航
  • 超星发现
高级检索

限定检索结果

文献类型

  • 1 篇 期刊文献

馆藏范围

  • 1 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 1 篇 理学
    • 1 篇 数学
  • 1 篇 工学
    • 1 篇 控制科学与工程
    • 1 篇 计算机科学与技术...
    • 1 篇 软件工程

主题

  • 1 篇 robotics, strate...
  • 1 篇 verification, ve...
  • 1 篇 ai
  • 1 篇 error correction
  • 1 篇 automated: reaso...
  • 1 篇 object-oriented ...
  • 1 篇 logic programmin...
  • 1 篇 knowledge-based ...
  • 1 篇 intelligent robo...
  • 1 篇 computational lo...
  • 1 篇 multisensor inte...
  • 1 篇 predicate calcul...
  • 1 篇 induction, infer...
  • 1 篇 knowledge repres...

机构

  • 1 篇 computer science...
  • 1 篇 computer science...
  • 1 篇 crumman aerospac...
  • 1 篇 department of ma...
  • 1 篇 mathematics and ...
  • 1 篇 department of co...
  • 1 篇 department of el...
  • 1 篇 artificial intel...
  • 1 篇 kestrel institut...

作者

  • 1 篇 boyer robert s.
  • 1 篇 green cordell
  • 1 篇 hong robert
  • 1 篇 henschen l.j.
  • 1 篇 wrightson graham
  • 1 篇 bledsoe w.w.
  • 1 篇 wos l.
  • 1 篇 pereira fernando
  • 1 篇 buchanan bruce g...
  • 1 篇 moore j.strother

语言

  • 1 篇 英文
检索条件"主题词=automated: reasoning/programming/theorem proving"
共 1 条 记 录，以下是1-10 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
An overview of automated reasoning and related fields
收藏
分享
引用
Journal of automated reasoning 1985年 第1期1卷 5-48页
作者： Wos, L. Pereira, Fernando Hong, Robert Boyer, Robert S. Moore, J.Strother Bledsoe, W.W. Henschen, L.J. Buchanan, Bruce G. Wrightson, Graham Green, Cordell Mathematics and Computer Science Division Argonne National Laboratory Argonne 60439 IL United States Artificial Intelligence Center SRI International Menlo Park 94025 CA United States Crumman Aerospace Corporation Bethpage 11714 NY United States Computer Science Department University of Texas Austin 78712 TX United States Department of Mathematics University of Texas Austin 78712 TX United States Department of Electrical Engineering and Computer Science Northwestern University Evanston 60201 IL United States Computer Science Department Stanford University Stanford 94305 CA United States Department of Computer Science Victoria University Wellington New Zealand Kestrel Institute Palo Alto 94304 CA United States
This article provides an overview of automated reasoning and of the various fields for which it is relevant. It takes the form of a collection of articles, each covering some field and each written by an expert in tha... 详细信息
来源： 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共1页 <<  < 1 >  >>
回到顶部
执行限定条件