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 条
  • [31] A method for the demonstration of persulfates
    Muller, E
    ZEITSCHRIFT FUR ELEKTROCHEMIE UND ANGEWANDTE PHYSIKALISCHE CHEMIE, 1904, 10 : 776 - 781
  • [32] Dehn surgery on arborescent knots
    Wu, YQ
    JOURNAL OF DIFFERENTIAL GEOMETRY, 1996, 43 (01) : 171 - 197
  • [33] DIABETIC ARBORESCENT TELANGIECTASIA OF CALVES
    KOCSARD, E
    OFNER, F
    BHANTHUMNAVIN, K
    GIORNALE ITALIANO DI DERMATOLOGIA MINERVA DERMATOLOGICA, 1977, 112 (05): : 388 - 390
  • [34] The fractal branching of an arborescent sponge
    Edward R. Abraham
    Marine Biology, 2001, 138 : 503 - 510
  • [35] Automatic Generation of Performance Analysis Results: Requirements and Demonstration
    Smith, Connie U.
    Llado, Catalina M.
    Puigjaner, Ramon
    COMPUTER PERFORMANCE ENGINEERING, PROCEEDINGS, 2009, 5652 : 73 - +
  • [36] Demonstration-based learning and control for automatic grasping
    Johan Tegin
    Staffan Ekvall
    Danica Kragic
    Jan Wikander
    Boyko Iliev
    Intelligent Service Robotics, 2009, 2 : 23 - 30
  • [37] Demonstration-based learning and control for automatic grasping
    Tegin, Johan
    Ekvall, Staffan
    Kragic, Danica
    Wikander, Jan
    Iliev, Boyko
    INTELLIGENT SERVICE ROBOTICS, 2009, 2 (01) : 23 - 30
  • [38] Automatic robot programming by visual demonstration of task execution
    Yeasin, M
    Chaudhuri, S
    8TH INTERNATIONAL CONFERENCE ON ADVANCED ROBOTICS, 1997 PROCEEDINGS - ICAR'97, 1997, : 913 - 918
  • [39] EXPERIMENTAL DEMONSTRATION OF AN AUTOMATIC ALIGNMENT SYSTEM FOR OPTICAL INTERFEROMETERS
    MORRISON, E
    MEERS, BJ
    ROBERTSON, DI
    WARD, H
    APPLIED OPTICS, 1994, 33 (22): : 5037 - 5040
  • [40] Demonstration of a new appliance for the automatic registration of the clonus of the foot
    Levi, E
    COMPTES RENDUS DES SEANCES DE LA SOCIETE DE BIOLOGIE ET DE SES FILIALES, 1908, 65 : 345 - 347
12345