在场 王干30年文论选

将文学创作视作修行的王干先生是当代知名的评论家，他将自己对文学批评的热情化作笔下的文字，源源不断地为读者奉献着精彩文学观点与评论文章。书稿《在场》是王干先生就当下文学、文化热点问题做出思考后的最...

在场的魅力 中国现当代文学研究论集

本部论文集是从作者30余年来撰写的数百篇长短文字中精选出来的，其编选原则，是从中国现当代文学研究的方法论角度入手，选择自认为在研究方法上有所心得堪为示范的篇什，分为十一个专题，平行罗列，又互相应和，以便......

诉讼证明原理研究

集的是作者近10年来对民事诉讼法中有关诉讼证明的研究论文。这些论文被分为5编一是民事诉讼证明的本质；

一般平衡态的理论与证明 英文

存在感 如何证明你来过，活过，爱过

证据证明力研究

本书是一本法学专著，是《法大诉讼法学博士文丛》之一。本书全面论述了证据证明力的基本范畴、评价模式、外部规则、程序保障、体系构建，在充分吸收国内外研究成果的基础上，以点带面，广开思路，运用历史、比较、实...

高等数学证明题解题方法与技巧

本书是高等数学证明题习题解析。给出了历年考试中出现的证明题解析，以及相关类型习题的解析方法，旨在加强学生对证明题这一类型习题的解答能力。...

民事诉讼证明权研究

民事诉讼证明权是一种内涵极其丰富的权利，是一种保障其他权利实现的权利。在一些国家和地区的民事诉讼中，它具有宪法地位，在立法上有充分的规定，在实践中有可靠的保障。但是，在我国，不仅理论研究尚浅，而且立法......

高阶逻辑辅助证明系统

本书的主要内容是Isabelle/HOL的基本原理和关键方法；这是机器辅助证明领域研究的一项经典的先驱性工作。本书主要介绍了Isabelle/HOL基本原理、证明结构、证明构造方法和在安全协议证明中的重要应用。适合于...

视觉证明深圳三十年

本书是深圳关山月美术馆举办的“四方沙龙”讲座2010年合集。2010年是深圳成立特区30周年，本年度的讲座约请各方专家学者围绕深圳的城市建设及规划、深圳的公共艺术、美术机构、艺术教育等视觉文化的发展、特...