大约有6,000项符合查询结果项。（搜索耗时：0.0334秒）
为您推荐： 几何定理机器证明的案例 101个世界最著名的未解之谜 图利的猫 史上最著名的116个思想悖论 几何定理机器证明的基本原理 哲学与生活丛书 图利的猫 史上最著名的116个思想悖论 挑战思维极限 勾股定理的365种证明
-
几何定理机器证明的基本原理 初等几何部分
吴文俊著2010 年出版234 页ISBN：97870302837711984年，吴文俊的学术专著《几何定理机器证明的基本原理》由科学出版社出版，这部专著遵循机械化思想引进数系和公理，依照机械化观点系统地分析了各类几何体系，明确建立了各类几何的机械化定理，着重阐明几何定理机...
-
交互式定理证明与程序开发 Coq归纳构造演算的艺术
YvesBertot，PierreCasteran等著2010 年出版432 页ISBN：9787302208136Coq是一个用于验证定理的证明是否正确的计算机工具。本书的主要目标是从实践的角度来理解Coq系统及其基本理论，即归纳构造演算。这本书给出了大量的例子，所有这些例子都可以在计算机上执行。...
-
-
-
几何瑰宝 平面几何500名题暨1000条定理 上
沈文选，杨清桃编著2010 年出版541 页ISBN：7560330126本书从三角形、四边形、多边形、圆及其关系，以及最值、轨迹、作图，完全四边形（四边形）、平面闭折线、圆的推广等十个专题对平面几何中的500余颗璀璨夺目的珍珠进行了系统的、全方位的介绍。...
-
几何瑰宝 平面几何500名题暨1000条定理 下
沈文选，杨清桃编著2010 年出版597 页ISBN：7560330126本书从三角形、四边形、多边形、圆及其关系，以及最值、轨迹、作图，完全四边形（四边形）、平面闭折线、圆的推广等十个专题对平面几何中的500余颗璀璨夺目的珍珠进行了系统的、全方位的介绍。...
-
世界上最神奇的24堂业绩课
张保文编著2010 年出版228 页ISBN：9787502175016“业绩”是企业与员工共同关注的话题，通过24堂课的精彩讲解，让读者掌握创造最好业绩必备的工作态度和技巧，从而提高工作能力，创造工作业绩。...
-
世界上最神奇的24堂员工课
欧俊编著2010 年出版227 页ISBN：9787502175436本书提取了古今中外非常畅销的24本书之思想精髓，从员工的德行、职业素质等多个方面入手，全方位地剖析职场中的不良现象，旨在提升员工的职业精神，从而改变企业的现状以求更大发展。...
-
世界最著名的童话寓言故事
于德北等编写2010 年出版187 页ISBN：9787545503203本书从我社已出版的“外国四大名著少儿注音读本”中，选取五十余个世界童话寓言史上著名的故事加以整合、改编。本书保留原有精美图片，故事主题丰富多彩，让小读者在阅读和欣赏世界文化的瑰宝中陶冶情操，感受人性...
-
世界上最神奇的24堂课
（美）查尔斯·哈奈尔著2010 年出版210 页ISBN：9787535442253在本书中，作者强调，人类的精神力量具有无穷的巨大潜能，通过开发这种潜能，一个人可以达到前所未有的成功，从而拥有巨大的财富和人生的幸福，并获得身心两方面的健康发展。本书就是教给我们如何掌握这种力量，如何......