REASONING ON REQUIREMENT SPECIFICATIONS - A DEDUCTIVE APPROACH

被引：0
|
作者：
ZEROUAL, K
机构：
来源：
PROCEEDINGS : THE THIRTEENTH ANNUAL INTERNATIONAL COMPUTER SOFTWARE & APPLICATIONS CONFERENCE | 1989年
关键词：
D O I：
暂无
中图分类号：
TM [电工技术]; TN [电子技术、通信技术];
学科分类号：
0808 ; 0809 ;
摘要：
引用
收藏
页码：650 / 657
页数：8
相关论文
共 50 条
  • [41] LINGUISTIC PROCESSES IN DEDUCTIVE REASONING
    CLARK, HH
    [J]. PSYCHOLOGICAL REVIEW, 1969, 76 (04) : 387 - &
  • [42] Individual differences in deductive reasoning
    Newstead, SE
    Handley, SJ
    Harley, C
    Wright, H
    Farrelly, D
    [J]. QUARTERLY JOURNAL OF EXPERIMENTAL PSYCHOLOGY SECTION A-HUMAN EXPERIMENTAL PSYCHOLOGY, 2004, 57 (01): : 33 - 60
  • [43] Default reasoning by deductive planning
    [J]. Thielscher, Michael, 1995, Kluwer Academic Publishers, Dordrecht, Netherlands (15)
  • [44] INFERENCE ERRORS IN DEDUCTIVE REASONING
    DICKSTEIN, LS
    [J]. BULLETIN OF THE PSYCHONOMIC SOCIETY, 1980, 16 (06) : 414 - 416
  • [45] MENTAL MODELS IN DEDUCTIVE REASONING
    JOHNSONLAIRD, PN
    BYRNE, RMJ
    [J]. REVISTA DE OCCIDENTE, 1991, (119) : 85 - 111
  • [46] On dichotomies and deductive reasoning research
    Roberts, MJ
    [J]. CAHIERS DE PSYCHOLOGIE COGNITIVE-CURRENT PSYCHOLOGY OF COGNITION, 1997, 16 (1-2): : 196 - 204
  • [47] Measurement Variables for Deductive Reasoning
    Alvarez Merino, Paula
    Requena Hernandez, Carmen
    Salto Alemany, Francisco
    [J]. REVISTA IBEROAMERICANA DE DIAGNOSTICO Y EVALUACION-E AVALIACAO PSICOLOGICA, 2018, 4 (49): : 59 - 75
  • [48] Deductive Reasoning in literary Practice
    Descher, Stefan
    [J]. JOURNAL OF LITERARY THEORY, 2019, 13 (02) : 145 - 160
  • [49] Deductive Reasoning using TIL
    Cihalova, Martina
    Ciprich, Nikola
    Duzi, Marie
    Frydrych, Tomas
    Mensik, Marek
    [J]. RASLAN 2009: RECENT ADVANCES IN SLAVONIC NATURAL LANGUAGE PROCESSING, 2009, : 25 - 38
  • [50] Effects of lorazepam on deductive reasoning
    S. Pompéia
    G. M. Manzano
    M. Pradella-Hallinan
    O. F. A. Bueno
    [J]. Psychopharmacology, 2007, 194 : 527 - 536
12345