購物車/收銀台(0) | 在線留言板
| 付款方式
| 運費計算
| 聯絡我們
| 幫助中心 |
加入書簽 |
登入帳戶
| 訂單查詢
| 購物車/收銀台(0) | 在線留言板
| 付款方式
| 運費計算
| 聯絡我們
| 幫助中心 |
加入書簽 |
||
 HOME 新書上架暢銷書架好書推介特價區會員書架精選月讀2024年度TOP分類瀏覽雜誌 |
臺灣用戶 |
 |
品種：超過100萬種各類書籍/音像和精品，正品正價，放心網購，悭钱省心 | 服務：香港／台灣／澳門／海外 | 送貨：速遞／郵局／服務站 |  |
在 大書城
以“
全文
模式”搜“
[明]杨慎 撰，王大淳 箋證
”共有
7069
结果：
（小貼士：您可以使用“精確”查詢方式縮窄範圍）
|
同時支援繁體 / 正體 / 简体字輸入搜索 |
 |
黑格尔哲学中的证明原则
『简体书』 作者：丁宁 著 出版：中国社会科学出版社 日期：2020-06-01 证明的原则是黑格尔哲学建构的基本实现形式，也是理解西方传统哲学的一个抓手。 《黑格尔哲学中的证明原则》从形式与内容的角度出发，结合着哲学史和黑格尔的相关文本来阐述这一原则在其哲学中的具体体现。它首先 ... |
詳情>> | |
 |
分析基础机器证明系统
『简体书』 作者：郁文生，付尧顺，郭礼权 出版：科学出版社 日期：2022-01-01 《分析基础机器证明系统》利用交互式定理证明工具Coq，在朴素集合论的基础上，从Peano五条公设出发，完整实现Landau著名的《分析基础》中实数理论的形式化系统，包括对《分析基础机器证明系统》中全部 ... |
詳情>> | |
 |
公司法原理学说与判例研究
『简体书』 作者：慎先进 出版：中国政法大学出版社 日期：2024-06-01 全书共分为五章。第一章公司法概述; 第二章公司设立制度；第三章公司资本和融资制度；第四章为公司股份和债券；第五章为公司财务会计制度；第六章为股东权利；第七章为公司治理制度；第八章为公司变更；第九章为公 ... |
詳情>> | |
 |
屐痕
『简体书』 作者：慎斋 出版：浙江大学出版社 日期：2025-04-01 书稿为作者多年来游历世界各地的游记，情境描写生动，文化解读深刻，趣味性较强。三十二篇游记融文化、艺术、历史知识于一体，记录了作者彼时彼地的经历和感受。全书分为神州漫游（八篇）、亚非探胜（九篇）、欧澳掠 ... |
詳情>> | |
 |
慎子集校集注--新编诸子集成续编 新版
『简体书』 作者：许富宏 出版：中华书局 日期：2025-03-01 新编诸子集成丛书，自一九八二年正式启动以来，在学术界特别是新老作者的大力支持下，已形成规模，成为学术研究的基础图书。丛书原拟分两辑出版，*辑拟目三十多种，后经过调整，确定为四十种，今年将全部出齐。第二 ... |
詳情>> | |
 |
少捕慎诉慎押实施问题研究 韩旭 少捕慎诉慎押刑事司法政策实施 社科法律专著
『简体书』 作者：韩旭 出版：中国政法大学出版社 日期：2023-08-01 2021年4月，中央全面依法治国委员会把“坚持少捕慎诉慎押刑事司法政策，依法推进非羁押强制措施适用”作为2021年度研究推进的重大问题和改革举措，首次将“少捕慎诉慎押”司法理念上升为党和国家的刑事司法 ... |
詳情>> | |
 |
蒋捷词校注（江苏文库 精华编）
『简体书』 作者：[宋]蔣 捷 撰 楊景龍 校注 出版：凤凰出版社 日期：2020-12-01 《竹山词》是南宋词人蒋捷的词集，现存九十三首又一阙。其词内容较为广泛，颇有追昔伤今之作，构思新颖，色彩明快，音节浏亮，风格与姜夔相近。从内容上大致可分为漂泊词、 节令词、题咏词、记梦词、惜春词、赠答词 ... |
詳情>> | |
 |
慎小嶷：十天突破IELTS写作完整真题库与6-9分范文全解 剑13版
『简体书』 作者：慎小嶷 出版：机械工业出版社 日期：2018-07-01 覆盖三大考区官方题库和实战案例，切实帮助考生突破作文审题难点，真正理解雅思作文评分标准。配有纯正英音朗读的范文音频，边听边学更高效。 ... |
詳情>> | |
 |
机器证明的逻辑推定
『简体书』 作者：李娜 出版：科学出版社 日期：2023-06-01 逻辑定理的机器证明是人工智能领域人们最早从事研究的课题。本书从逻辑定理的人工证明和机器证明两方面来展现逻辑定理证明的艺术，而机器证明又从定理的自动证明和计算机辅助证明两个方面来展现。本书首先用作者构造 ... |
詳情>> | |
 |
日本平安时期“敕撰三集”汉诗研究
『简体书』 作者：江小容 出版：中央编译出版社 日期：2020-09-01 本书以客观叙述和数据分析为主，作者并未过多渲染唐诗与中国文化对日本的影响，但通过客观严谨的文本、数据呈现，这种结论是不言自明的。这是一本彰显中华文化影响力的学术 ... |
詳情>> | |
 |
结构证明论（第二版）
『简体书』 作者：马明辉 出版：科学出版社 日期：2023-06-01 证明论是逻辑基础理论的分枝. 结构证明论是证明论的分枝，它研究演算中的分析性证明. 本书在介绍古典句子逻辑和直觉主义逻辑的基础上，给出公理系统、自然演绎和矢列演算等不同类型的逻辑演算. 根据结构的定义 ... |
詳情>> | |
 |
环境侵权诉讼证明制度研究
『简体书』 作者：赖玉中 出版：中国政法大学出版社 日期：2025-01-01 本学术专著出版获得江西省高等学校人文社会科学重点研究基地课题“环境侵权诉讼证明制度研究”（JD16078）基金资助。本书基于保护中国公民生态环境利益的定位，系统地研究了环境侵权证明制度涉及到的各个部分 ... |
詳情>> | |
 |
数学天书中的证明（第六版）
『简体书』 作者：Martin Aigner， Günte 出版：高等教育出版社 日期：2022-08-01 本书介绍了45个著名数学问题的极富创造性和独具匠心的证明。其中有些证明不仅想法奇特、构思精巧，作为一个整体更是天衣无缝。难怪，西方有些虔诚的数学家将这类杰作比喻为上帝的创造。这不是一本教科书， 也不是 ... |
詳情>> | |
 |
自然数的紧化延伸机器证明系统
『简体书』 作者：郁文生，窦国威 出版：科学出版社 日期：2024-05-01 数系的扩充始终贯穿于数学理论的发展之中.本书利用交互式定理证明工具Coq， 在Morse-Kelley 公理化集合论形式化系统下，给出中国科学与技术大学汪芳庭教授在其《数学基础》中采用算术超滤分数构造 ... |
詳情>> | |
 |
Web 3 中的零知识证明
『简体书』 作者：高承实 出版：电子工业出版社 日期：2024-09-01 基于当前 Web 3 世界的快速发展，零知识证明在落地应用方面取得了快速进展。本书从技术原理和相关具体工程实现的角度对其进行介绍。本书第1章从总体上回顾了 Web 3 的发展，以及当前的表现形态，第2 ... |
詳情>> | |
 |
社会科学证据的司法证明
『简体书』 作者：王星译 出版：法律出版社 日期：2022-09-01 本文从规范研究的立场出发，倡导“多元证据形式的统一证据方法”的整合路径，即以证明指向为导向，将专门性问题的解决整合于统一的专家这一证据方法，并包容不同的证据形式。这是因为社会科学证据并不具有被推定的可 ... |
詳情>> | |
 |
刑事证明结构：运行与优化
『简体书』 作者：李昌盛 出版：中国政法大学出版社 日期：2023-07-01 对刑事司法的参与者来说，刑事诉讼是由一系列具有不同角色的主体前后相继的判断活动所组成的。此种判断活动由两部分组成：一为以法律为根据的规范性判断活动；二为以证据为基础的事实性判断活动。本书围绕刑事证明的 ... |
詳情>> | |
 |
关联的证明——博风建筑设计实践
『简体书』 作者：王方戟、肖潇、董晓 出版：同济大学出版社 日期：2024-01-01 在建筑设计中，建筑师要面对诸多的设计条件，每个项目中设计条件又有诸多不同的排列组合方式，这造成了具体建筑设计手法的多样化。《关联的证明》试图对作者所在设计公司相关建筑设计理念的梳理，寻找出在不同状况下 ... |
詳情>> | |
 |
黑洞·日本精选科学绘本系列
『简体书』 作者：【日】岭重慎 出版：北京科学技术出版社 日期：2021-03-01 日本京都大学教授根据*研究成果编辑而成。 伴随着2019年4月黑洞照片的首秀，黑洞再次成为大家热衷的话题。 2019年4月10日中国、美国、比利时、丹麦、智利、 ... |
詳情>> | |
 |
代数不等式的证明
『简体书』 作者：单墫 出版：中国科学技术大学出版社 日期：2021-06-01 本书主要讨论代数不等式的证明，共6章.第0章介绍预备知识，第1～4章分别介绍含两个字母的不等式、含三个字母的不等式、含四个字母的不等式、含n个字母的不等式，第5章介绍与小.本书的特点是将重点放在如何寻 ... |
詳情>> | |
如果未能搜尋到意向中的書籍，可以參看：“找書說明” 或 “尋書登記服務”
| 書城介紹 | 合作申請 | 索要書目 | 新手入門 | 聯絡方式 | 幫助中心 | 找書說明 | 送貨方式 | 付款方式 | 香港用户 | 台灣用户 | 海外用户 |
| megBook.com.hk | |
| Copyright © 2013 - 2025 （香港）大書城有限公司 All Rights Reserved. | |