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 条
  • [41] The fractal branching of an arborescent sponge
    Abraham, ER
    MARINE BIOLOGY, 2001, 138 (03) : 503 - 510
  • [42] Stem CAM in arborescent succulents
    U. Lüttge
    Trees, 2008, 22
  • [43] Synthesis of arborescent isoprene homopolymers
    Yuan, ZS
    Gauthier, M
    MACROMOLECULES, 2005, 38 (10) : 4124 - 4132
  • [44] Stem CAM in arborescent succulents
    Luettge, U.
    TREES-STRUCTURE AND FUNCTION, 2008, 22 (02): : 139 - 148
  • [45] ECOLOGICAL, ARBORESCENT DWELLINGS IN BERLIN
    OTTO, F
    DOSTER, H
    ARCHITECTURE D AUJOURD HUI, 1982, 223 (OCT): : 58 - 59
  • [46] LEPIDOPHLOIOS - AND ONTOGENY IN ARBORESCENT LYCOPODS
    ANDREWS, HN
    MURDY, WH
    AMERICAN JOURNAL OF BOTANY, 1958, 45 (07) : 552 - 560
  • [47] Arborescent isoprene homopolymers.
    Gauthier, M
    Yuan, ZS
    ABSTRACTS OF PAPERS OF THE AMERICAN CHEMICAL SOCIETY, 2004, 228 : U449 - U449
  • [48] DECOMPOSITION OF ARBORESCENT LINEAR PROGRAMS
    KALLIO, M
    MATHEMATICAL PROGRAMMING, 1977, 13 (03) : 348 - 356
  • [49] ARBORESCENT TREETOP ENGLISH IVY
    DAVIS, RE
    BILDERBACK, TE
    FANTZ, PR
    HORTSCIENCE, 1992, 27 (03) : 279 - 280
  • [50] Secondary phloem in arborescent lycopsids
    D'Antonio, Michael P.
    Boyce, C. Kevin
    NEW PHYTOLOGIST, 2021, 232 (03) : 967 - 972
12345