THE ARBORESCENT METHOD IN AUTOMATIC DEMONSTRATION

被引：0
|
作者：
HERRERA, J
机构：
来源：
JOURNAL OF SYMBOLIC LOGIC | 1983年 / 48卷 / 04期
关键词：
D O I：
暂无
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
引用
收藏
页码：1217 / 1217
页数：1
相关论文
共 50 条
  • [21] Automatic Demonstration and Feature Selection for Robot Learning
    Morante, Santiago
    Victores, Juan G.
    Balaguer, Carlos
    2015 IEEE-RAS 15TH INTERNATIONAL CONFERENCE ON HUMANOID ROBOTS (HUMANOIDS), 2015, : 428 - 433
  • [22] Automatic Persona Generation (APG): A Rationale and Demonstration
    Jung, Soon-gyo
    Salminen, Joni
    Kwak, Haewoon
    An, Jisun
    Jansen, Bernard J.
    CHIIR'18: PROCEEDINGS OF THE 2018 CONFERENCE ON HUMAN INFORMATION INTERACTION & RETRIEVAL, 2018, : 321 - 324
  • [23] Demonstration Experiment of Automatic Operated Platooning BRT
    Kondo, So
    Kashiwada, Yosuke
    Kasahara, Naoto
    Ishii, Daisuke
    Japanese Railway Engineering, 2023, 63 (01): : 20 - 22
  • [24] Demonstration of TADA: A tool for Automatic Detection of AQM
    Bideh, Minoo Kargar
    Petlund, Andreas
    Ahmed, Iffat
    2016 IEEE Conference on Computer Communications Workshops (INFOCOM WKSHPS), 2016,
  • [25] VIDEOTAPE DEMONSTRATION OF AUTOMATIC-ANALYSIS OF THE EMG
    WILLISON, RG
    HAYWARD, M
    ACTA NEUROLOGICA SCANDINAVICA, 1979, 60 : 325 - 325
  • [26] ARBORESCENT METHODS OF OPTIMIZATION
    HERVE, P
    REVUE FRANCAISE D INFORMATIQUE DE RECHERCHE OPERATIONNELLE, 1968, 2 (14): : 69 - &
  • [27] 'BLACK WILLOW', ARBORESCENT
    SITTERLY, C
    EPOCH, 1988, 37 (03): : 142 - 142
  • [28] Arborescent graft polybutadienes
    Univ of Twente, Enschede, Netherlands
    Macromolecules, 19 (5602-5605):
  • [29] Woman arborescent.
    Beaudoin, R
    CANADIAN LITERATURE, 2005, (187): : 160 - 162
  • [30] Pretrees and Arborescent Convexities
    Malyutin A.V.
    Journal of Mathematical Sciences, 2016, 212 (5) : 566 - 576
12345