大约有460,688项符合查询结果项。（搜索耗时：0.6801秒）
为您推荐： 数学证明 数学猜想 数学天书中的证明 猜想与反驳 正版图书 title数学写真集 第2季无需语言的证明 数论与组合中的新猜想
-
高阶逻辑辅助证明系统
（德）托比亚斯·尼普科夫（TobiasNipkow），（英）劳伦斯·鲍尔森（LawrenceC.Paulson），（德）玛尔库斯·温泽尔（MarkusWenzel）著2013 年出版254 页ISBN：9787564077631本书的主要内容是Isabelle/HOL的基本原理和关键方法；这是机器辅助证明领域研究的一项经典的先驱性工作。本书主要介绍了Isabelle/HOL基本原理、证明结构、证明构造方法和在安全协议证明中的重要应用。适合于...
-
-
WTO争端解决机制证明负担规则研究
高田甜编2012 年出版226 页ISBN：9787511831378本书以证据法中有关证明负担的理论为基础，在WTO的背景下对争端解决实例进行深入的剖析，并对在这些案件中所体现出的普遍性规律和特殊情况加以规纳梳理，力求做到“来源于争端解决实例，又高于争端解决实例”。...
-
流过的泪是爱过的证明
秋日细雨著2016 年出版294 页ISBN：7511360688本书是一本散文集，包括叙事、抒情，无论是爱情或亲情，人物或风景，每篇文章作者均以最独特的写作风格展示文字的精彩，文字是一场华丽的盛宴，也是人类精神丰富的粮食，本书的文字贴近生活，寓于抒情，能让读者体会......
-
侵权法中证明责任价值取向研究
王国征著2018 年出版250 页ISBN：9787519721930本书主要从立法的视角，运用理论联系实际的方法、中外比较的方法，通过研究我国侵权证明责任的现实问题和借鉴域外有关立法的途径，达到准确理解我国侵权法中证明责任价值取向的目的，并指出我国《侵权责任法》中证...
-
不要任何借口 用工作证明自己的价值
（美）奥里森·马登（Orison Swett Marden），（美）查尔斯·斯通（Charles Stoner）著；王隆译2004 年出版161 页ISBN：7806409955本书是19世纪著名成功学家奥里森·马登关于职业道德的名篇，和此类作品的开山之作。首次系统提出了人们在工作中应当遵守的职业操守，那就是全力以赴、自我完善和拒绝借口。...
-
-
证明 实际行动中的科学探索
苏珊·格拉斯著；李慧杰译2011 年出版48 页ISBN：9787560332109本书是从英国引进的怎样成为科学家系列图书中的一本，通过介绍炭疽病是如何找到治疗方法的，来和读者说明，想要成为一个科学家，必须学会科学探究的方法，并详细介绍了几种科学探索的流程图以及记录信息的方法。...
-
-
