所有图书
公理化集合论机器证明系统
View more
公理化集合论机器证明系统
人性的证明
View more
人性的证明
《日本短篇推理之神：大山诚一郎精选作品（共3册）诡计博物馆、绝对不在场证明、密室收藏家》
View more
《日本短篇推理之神：大山诚一郎精选作品（共3册）诡计博物馆、绝对不在场证明、密室收藏家》
证明与反驳:数学发现的逻辑
View more
证明与反驳:数学发现的逻辑
非线性代数方程组与定理机器证明
View more
非线性代数方程组与定理机器证明
证明与布丁
View more
证明与布丁
证明与反驳
View more
证明与反驳
事实证明，人民永远是最可爱的
View more
事实证明，人民永远是最可爱的
如何证明你不是僵尸
View more
如何证明你不是僵尸
时间会证明一切
View more
时间会证明一切
时间会证明一切
View more
时间会证明一切
王者之路: 机器证明及其应用
View more
王者之路: 机器证明及其应用
几何定理机器证明的几何不变量方法
View more
几何定理机器证明的几何不变量方法
人性的证明.pdf
View more
人性的证明.pdf
数学天书中的证明
View more
数学天书中的证明
现代证明责任问题
View more
现代证明责任问题
绝对不在场证明
View more
绝对不在场证明
贝佐斯如何开会（日本亚马逊总管15年经验，分享亚马逊打破常规且事实证明高效的会议方式，6 pages 会前20分钟默读 不要PPT 万物皆可KPI, 教你向会议要绩效、要成果。）
View more
贝佐斯如何开会（日本亚马逊总管15年经验，分享亚马逊打破常规且事实证明高效的会议方式，6 pages 会前20分钟默读 不要PPT 万物皆可KPI, 教你向会议要绩效、要成果。）