大约有5,144项符合查询结果项。(搜索耗时:0.0700秒)
为您推荐: 几何三角法证明 三角法证明几何 几何定理机器证明的案例 函数关系与几何证明 几何定理机器证明的基本原理 几何最著名24个定理证明及应用
-
世纪末的证明 99断想
梁晓声著;责编:张海焘1999 年出版429 页ISBN:7801143892迄今为止,人类罅战争的方式不外乎两种——以和平制止战争和以战争制止战争。我们中国人感到,克林顿总统先生在性丑闻中夹起的尾巴,今天似乎竖得太高了。男人眼里所欣赏的女人,或多或少,总难免具有他少年时感情所...
-
正当程序中的实现真实 民事诉讼证明法理之现代阐释
邵明著2009 年出版471 页ISBN:9787503694622本书根据现代法治原理,运用民事诉讼原理,对民事诉讼证明问题做出体系阐释和专项研讨,并对我国现行民事诉讼证明制度及其运作状况做出评析且提出建言。...
-
我无法证明岁月有脚 西方经典随感诗
(英)威廉·布莱克等著;屠岸等译2017 年出版251 页ISBN:9787513590068《我无法证明岁月有脚:西方经典随感诗》共收录布莱克、彭斯、华兹华斯、拜伦、济慈、叶芝、狄金森、惠特曼、艾吕雅等自莎士比亚以降西方著名诗人的经典随感诗近40首,情感澎湃,文字隽永,带给读者艺术的享受和生...
-
挑战思维极限 勾股定理的365种证明
李迈新编著2016 年出版248 页ISBN:9787302458791本书主要介绍了勾股定理的365种证明方法。并按证法的类型进行归纳、整理和总结。让读者有一个系统和全面的了解。大多数证法用到的知识范围不超过初中几何的教学内容,许多证法思路巧妙,别具一格,对提高读者的...
-
密码学中的可证明安全性
杨波著2017 年出版216 页ISBN:9787302467229本书全面介绍可证明安全性的发展历史及研究成果,分为五章,第1章介绍可证明安全性用到的一些数学知识和基本工具,第2章介绍语义安全的公钥密码体制的定义,第3章介绍几类常用的语义安全的公钥机密体制,第4章介绍基...
-
司法会计鉴定证明机理研究与实践
郑谊英著2015 年出版226 页ISBN:9787811288582在系统分析我国司法会计鉴定活动本质、明确我国司法会计鉴定的功能定位的基础上,从我国司法会计鉴定的现状出发,以司法会计鉴定司法证明过程为研究对象,围绕司法会计鉴定证明活动的检材获取、筛选鉴别、证明机...
-
西方经典随感诗 我无法证明岁月有脚
(英)威廉·布莱克等著;查良铮等译2013 年出版169 页ISBN:9787513533911本书共收录布莱克、彭斯、华兹华斯、拜伦、济慈、叶芝、狄金森、惠特曼、艾吕雅等自莎士比亚以降西方著名诗人的经典随感诗近40首,情感澎湃,文字隽永,带给读者艺术的享受和生活的思考。全书中英对照,选取经典的...
-
-
-
