4-COLOR CONJECTURE - COMPUTER-AIDED PROOF

被引:2
|
作者
KOLATA, GB
机构
关键词
D O I
10.1126/science.193.4253.564
中图分类号
O [数理科学和化学]; P [天文学、地球科学]; Q [生物科学]; N [自然科学总论];
学科分类号
07 ; 0710 ; 09 ;
摘要
引用
收藏
页码:564 / 565
页数:2
相关论文
共 50 条
  • [41] 4-COLOR ACHROMATS AND SUPERCHROMATS
    STEPHENS, RE
    JOURNAL OF THE OPTICAL SOCIETY OF AMERICA, 1960, 50 (10) : 1016 - 1019
  • [42] To Computer-Aided Design and Manufacturing or Not to Computer-Aided Design and Manufacturing? Free Fibula Flap With Computer-Aided Technique for Mandibular Reconstruction
    Zavattero, Emanuele
    Garzino-Demo, Paolo
    Fasolis, Massimo
    Ramieri, Guglielmo
    JOURNAL OF CRANIOFACIAL SURGERY, 2015, 26 (03) : E206 - E209
  • [43] Computer-aided verification
    Clarke, EM
    Kurshan, RP
    IEEE SPECTRUM, 1996, 33 (06) : 61 - 67
  • [44] Computer-Aided Biomimetics
    Kruiper, Ruben
    Chen-Burger, Jessica
    Desmulliez, Marc P. Y.
    BIOMIMETIC AND BIOHYBRID SYSTEMS, LIVING MACHINES 2016, 2016, 9793 : 131 - 143
  • [45] COMPUTER-AIDED CARTOGRAPHY
    RHIND, D
    TRANSACTIONS OF THE INSTITUTE OF BRITISH GEOGRAPHERS, 1977, 2 (01) : 71 - 97
  • [46] Computer-aided forming
    Sedlmaier, Albert
    Sheet Metal Industries, 1988, 65 (11):
  • [47] COMPUTER-AIDED INSTRUCTION
    SWETS, JA
    FEURZEIG, W
    SCIENCE, 1965, 150 (3696) : 572 - &
  • [48] Computer-aided engineer
    Orr, Joel N.
    CAE, Computer-Aided Engineering, 1998, 17 (09):
  • [49] COMPUTER-AIDED REHABILITATION
    PETROFSKY, JS
    SMITH, J
    AVIATION SPACE AND ENVIRONMENTAL MEDICINE, 1988, 59 (07): : 670 - 678
  • [50] Computer-aided engineer
    Orr, Joel N.
    2000, Penton Publ Inc, Cleveland, OH, USA (19):