大约有3,518项符合查询结果项。（搜索耗时：0.0558秒）
为您推荐： 分析基础机器证明系统 几何定理机器证明的案例 几何定理机器证明的基本原理 不等式机器证明与自动发现 方程求解与机器证明 证明责任论
-
高阶逻辑辅助证明系统
（德）托比亚斯·尼普科夫（TobiasNipkow），（英）劳伦斯·鲍尔森（LawrenceC.Paulson），（德）玛尔库斯·温泽尔（MarkusWenzel）著2013 年出版254 页ISBN：9787564077631本书的主要内容是Isabelle/HOL的基本原理和关键方法；这是机器辅助证明领域研究的一项经典的先驱性工作。本书主要介绍了Isabelle/HOL基本原理、证明结构、证明构造方法和在安全协议证明中的重要应用。适合于...
-
计量经济学 直觉、证明与实践
（美）杰弗里·扎克斯著2016 年出版462 页ISBN：7122288641本教材对计量经济学模型的经典假设、违背计量经济学经典假设的直观含义进行了深度剖析；运用易懂的数学工具严谨地论证了计量经济学模型估计的基本原理；紧扣读者认知的特点，由简渐难、由浅入深，清晰地展现了计量...
-
-
WTO争端解决机制证明负担规则研究
高田甜编2012 年出版226 页ISBN：9787511831378本书以证据法中有关证明负担的理论为基础，在WTO的背景下对争端解决实例进行深入的剖析，并对在这些案件中所体现出的普遍性规律和特殊情况加以规纳梳理，力求做到“来源于争端解决实例，又高于争端解决实例”。...
-
点击专项 高中数学 不等式 推理与证明
张友，刘金国主编2010 年出版374 页ISBN：7563428240本丛书以高中数学新课标为体系，从易到难的梯度编写，这样，对本专题知识没有吃透的学生可以迅速掌握本专题的知识，中等水平的学生在精读本书提高篇后会使自己更上一层楼。...
-
流过的泪是爱过的证明
秋日细雨著2016 年出版294 页ISBN：7511360688本书是一本散文集，包括叙事、抒情，无论是爱情或亲情，人物或风景，每篇文章作者均以最独特的写作风格展示文字的精彩，文字是一场华丽的盛宴，也是人类精神丰富的粮食，本书的文字贴近生活，寓于抒情，能让读者体会......
-
侵权法中证明责任价值取向研究
王国征著2018 年出版250 页ISBN：9787519721930本书主要从立法的视角，运用理论联系实际的方法、中外比较的方法，通过研究我国侵权证明责任的现实问题和借鉴域外有关立法的途径，达到准确理解我国侵权法中证明责任价值取向的目的，并指出我国《侵权责任法》中证...
-
不要任何借口 用工作证明自己的价值
（美）奥里森·马登（Orison Swett Marden），（美）查尔斯·斯通（Charles Stoner）著；王隆译2004 年出版161 页ISBN：7806409955本书是19世纪著名成功学家奥里森·马登关于职业道德的名篇，和此类作品的开山之作。首次系统提出了人们在工作中应当遵守的职业操守，那就是全力以赴、自我完善和拒绝借口。...
-
-
