PROGRAMS FOR THE SUPERIOR - HAPPENSTANSICAL OR CONCEPTUAL

被引：0
|
作者：
NEWLAND, TE
机构：
来源：
TEACHERS COLLEGE RECORD | 1961年 / 62卷 / 07期
关键词：
D O I：
暂无
中图分类号：
G40 [教育学];
学科分类号：
040101 ; 120403 ;
摘要：
引用
收藏
页码：513 / 523
页数：11
相关论文
共 50 条
  • [1] Conceptual logic programs
    Heymans, Stijn
    Van Nieuwenborgh, Davy
    Vermeir, Dirk
    ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 2006, 47 (1-2) : 103 - 137
  • [2] Conceptual logic programs
    Stijn Heymans
    Davy Van Nieuwenborgh
    Dirk Vermeir
    Annals of Mathematics and Artificial Intelligence, 2006, 47 : 103 - 137
  • [3] Proofs verifying programs and programs producing proofs: A conceptual analysis
    Prawitz, Dag
    DEDUCTION, COMPUTATION, EXPERIMENT: EXPLORING THE EFFECTIVENESS OF PROOF, 2008, : 81 - 94
  • [4] The implementation of IMF programs: A conceptual framework
    Bird, Graham
    REVIEW OF INTERNATIONAL ORGANIZATIONS, 2008, 3 (01): : 41 - 64
  • [5] CONCEPTUAL ISSUES IN EVALUATING TRAINING PROGRAMS
    WEISBROD, BA
    MONTHLY LABOR REVIEW, 1966, 89 (10) : 1091 - 1097
  • [6] CONCEPTUAL BASIS FOR ENVIRONMENTAL MONITORING PROGRAMS
    WIERSMA, GB
    TOXICOLOGICAL AND ENVIRONMENTAL CHEMISTRY, 1990, 27 (04): : 241 - 249
  • [7] The implementation of IMF programs: A conceptual framework
    Graham Bird
    The Review of International Organizations, 2008, 3 : 41 - 64
  • [8] Conceptual graph programs and their declarative semantics
    Asian Inst of Technology, Bangkok, Thailand
    IEICE Trans Inf Syst, 9 (1208-1217):
  • [9] A Reasoner for Simple Conceptual Logic Programs
    Heymans, Stijn
    Feier, Cristina
    Eiter, Thomas
    WEB REASONING AND RULE SYSTEMS, PROCEEDINGS, 2009, 5837 : 55 - 70
  • [10] CONCEPTUAL GRAPH PROGRAMS AND THEIR DECLARATIVE SEMANTICS
    GHOSH, BC
    WUWONGSE, V
    IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 1995, E78D (09) : 1208 - 1217
12345