当前位置:首页 > 名称

大约有3,518项符合查询结果项。(搜索耗时:0.0525秒)

为您推荐: 分析基础机器证明系统 几何定理机器证明的案例 几何定理机器证明的基本原理 不等式机器证明与自动发现 方程求解与机器证明 证明责任论

  • 裁判思维与证明方法

    程春华著2016 年出版279 页ISBN:9787511897756

    本书将理论研究与审判实践结合,形成一套操作性强的审判指导方法。研究证明对象确定的具体程序,包括如何从诉讼标的(诉讼请求)中推导出当事人之间假设存在的某种法律关系;如何从假设存在的某种权利义务法律关系找...

  • 梦想会证明一切

    李婧著2016 年出版246 页ISBN:7555235013

    本书从作者个人追梦、与现实的和解、心态、职场和创业、家庭、婚姻爱情等角度,表达了现代年轻人应该追求梦想,坚强独立,活出精彩的人生这一主题。坚持笃定,没有矫情,没有自怨自艾,那样真实地活出精彩,为梦努力......

  • 笛卡尔哲学原理 依几何学方式证明

    (荷兰)斯宾诺莎著;王荫庭,洪汉鼎译1980 年出版204 页ISBN:7100011000

    本书包括两部分:《笛卡尔哲学原理》和附录《形而上学思想》。

  • 严格证明与刑事证据

    林钰雄著2008 年出版333 页ISBN:9787503686597

    本书以严格证明为核心,收录了关于刑事证据法基础理论与裁判评释的内容。包括证据法四大主题:一是证据资格,二是证据评价,探讨以自由心证原则为架构的证明力评价及其限制问题。三是检察官的举证责任,四是以台湾本...

  • “伴你学”新课程 数学 选修4-1 几何证明选讲

    根据普通高中课程标准实验教科书(人教·A版)编写2006 年出版67 页ISBN:7807370408

  • 关东大屠杀 日军侵华罪行的证明

    姜宝才,峻严著2005 年出版396 页ISBN:7506549093

    本书采用图文并茂形式,首次详细披露了杨靖宇、赵尚志等人壮烈牺牲的内幕,深刻揭露了侵华日军残害抗联英雄和东三省无辜群众的滔天罪行。...

  • 人性的证明

    (日)森村诚一著;丁国祯等译2012 年出版233 页ISBN:9787501449675

    森村诚一,1933年生于东京郊区的崎玉县,青山学院大学英美系毕业后,在新大谷等几家五星级饭店从事服务台管理工作。1967年以《大都会》走上文坛,成名作《高层的死角》获1969年“江户川乱步文学奖”,《腐蚀的构造》...

  • 野性的证明

    (日)森村诚一著;何培忠等译2012 年出版241 页ISBN:9787501449668

    森村诚一,1933年生于东京郊区的崎玉县,青山学院大学英美系毕业后,在新大谷等几家五星级饭店从事服务台管理工作。1967年以《大都会》走上文坛,成名作《高层的死角》获1969年“江户川乱步文学奖”,《腐蚀的构造》...

  • 初等不等式的证明方法

    韩京俊编著2014 年出版343 页ISBN:9787560349800

    本书介绍初等不等式证明中的有效方法,共分15章,选取300余个国内外初等不等式的典型问题,以解析的方法解题,并对部分问题加以拓展,不少例题都配有较大篇幅的注解。本书适合相关专业师生阅读和使用,也可供专业人员....

  • 数学四色问题证明

    徐俊杰著2012 年出版96 页ISBN:9787561233252

    本书详细地介绍了四色问题的证明方法,即在证明了三次平面图形成定理、边二色回路定理和面二色通路定理的基础上,进而证明了四色问题成立,这些证明的思路和方法,对于启发人们数学思考的多样化和推动基础数学研究...

返回顶部