关于机器证明
관우궤기증명
On Computer Proof
  • 万方数据
    前沿科学 전연과학
    FRONTIER SCIENCE
    2011年 1期 76-77 ,共2页

    王世强%别荣芳%史璟

    왕세강%별영방%사경

    机器证明%四色定理%模型论 機器證明%四色定理%模型論
    궤기증명%사색정리%모형론
    本文简介机器证明的理论与实践.并附一篇关于用模型论方法证明无限地图的四色定理.
    본문간개궤기증명적이론여실천.병부일편관우용모형론방법증명무한지도적사색정리.
    원문보기 원문다운로드 사이트로이동
저자의 최근 논문