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 条
  • [1] Hyperbolicity of arborescent tangles and arborescent links
    Volz, Kathleen Reif
    TOPOLOGY AND ITS APPLICATIONS, 2009, 156 (05) : 963 - 978
  • [2] Synthesis of arborescent copolymers by a one-pot method
    Yuan, Zhongshun
    Gauthier, Mario
    MACROMOLECULAR CHEMISTRY AND PHYSICS, 2007, 208 (15) : 1615 - 1624
  • [3] Partitioning Problems: Arborescent Analysis or Truncation Method.
    Delorme, Jacques
    Heurgon, Edith
    Revue Francaise d'Automatique Informatique Recherche Operationnelle, 1975, 9 V-2 : 53 - 65
  • [4] AUTOMATIC DEMONSTRATION AND TEMPORAL LOGIC
    DELPECH, PM
    POTET, A
    SAYETTAT, C
    TSI-TECHNIQUE ET SCIENCE INFORMATIQUES, 1987, 6 (06): : 541 - 557
  • [5] AN ARBORESCENT METHOD FOR PARTIALLY DISCRETE NON-LINEAR PROGRAMS
    ABADIE, J
    REVUE FRANCAISE D INFORMATIQUE DE RECHERCHE OPERATIONNELLE, 1969, 3 (V3): : 24 - &
  • [6] DEMONSTRATION OF INDEX TYPE ER AUTOMATIC
    不详
    MACHINERY AND PRODUCTION ENGINEERING, 1969, 115 (2978): : 955 - &
  • [7] Demonstration of an automatic radiology website application
    Feuerstein, I
    Leventhal, S
    Cho, K
    Brazaitis, M
    JOURNAL OF DIGITAL IMAGING, 1998, 11 (03) : 205 - 205
  • [8] DEMONSTRATION OF AUTOMATIC OPTICAL PROFILE GRINDING
    不详
    MACHINERY AND PRODUCTION ENGINEERING, 1972, 120 (3097): : 395 - &
  • [9] Demonstration of an automatic radiology website application
    Irwin Feuerstein
    Sean Leventhal
    Kenneth Cho
    Michael Brazaitis
    Journal of Digital Imaging, 1998, 11 : 205 - 205
  • [10] Demonstration of an automatic radiology website application
    Feuerstein, Irwin
    Leventhal, Sean
    Cho, Kenneth
    Brazaitis, Michael
    Journal of Digital Imaging, 1998, 11 (3 Suppl 1):
12345