Automated deduction - Looking ahead

被引：0
|
作者：
Loveland, DW [1 ]
机构：
[1] Duke Univ, Dept Comp Sci, Durham, NC 27706 USA
来源：
AI MAGAZINE | 1999年 / 20卷 / 01期
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
In this article, the body of a report on automated deduction is presented that notes some significant achievements and takes a studied look at the future of the field.
引用
收藏
页码：77 / 98
页数：22
相关论文
共 50 条
  • [1] Automated deduction: Looking ahead
    Computer Science Department, Duke University, United States
    [J]. AI Mag, 1 (77-98):
  • [2] AUTOMATED ENGINE ROOM CONTROLS - LOOKING AHEAD
    DREWS, DW
    [J]. NAVAL ENGINEERS JOURNAL, 1968, 80 (01) : 135 - &
  • [3] Automated deduction
    [J]. 1600, Morgan Kaufmann Publ Inc, San Mateo, CA, USA (01):
  • [4] Look-ahead clause selection strategy for contradiction separation based automated deduction
    Chen, Shuwei
    Xu, Yang
    Liu, Jun
    Cao, Feng
    [J]. DATA SCIENCE AND KNOWLEDGE ENGINEERING FOR SENSING DECISION SUPPORT, 2018, 11 : 750 - 757
  • [5] LOOKING AHEAD TO STAY AHEAD
    DARRINGTON, H
    [J]. FOOD MANUFACTURE, 1982, 57 (04): : 63 - +
  • [6] Getting ahead by looking ahead
    Garland, Eric
    [J]. FUTURIST, 2007, 41 (04) : 68 - +
  • [7] Looking back, looking ahead
    McIntosh, Christopher
    [J]. JOURNAL OF GAY & LESBIAN MENTAL HEALTH, 2022, 26 (01) : 1 - 1
  • [8] Looking back, looking ahead
    Miller, J
    [J]. BIOPHARM-THE APPLIED TECHNOLOGIES OF BIOPHARMACEUTICAL DEVELOPMENT, 2001, 14 (02): : 60 - +
  • [9] Looking ahead, looking back
    不详
    [J]. ONLINE, 2004, 28 (01): : 5 - 5
  • [10] Looking ahead by looking back
    Schultz, Heather Yarnall
    Goldsmith, Lowell A.
    [J]. JOURNAL OF INVESTIGATIVE DERMATOLOGY, 2007, 127 (01) : 1 - 2
12345