Richard Carrier - Proving History--Bayes's Theorem and the Quest for the Historical Jesus

文件大小:4MB 分类:文档书籍 创建时间:2018-04-10 热度:71

Hidden Harmonies, The Lives and Times of the Pythagorean Theorem - Robert and Ellen

文件大小:5MB 分类:文档书籍 创建时间:2018-03-09 热度:127

Hidden Harmonies, The Life and Times of the Pythagorean Theorem - Robert Kaplan, Ellen

文件大小:5MB 分类:文档书籍 创建时间:2018-03-04 热度:63

Euler's Pioneering Equation, The Most Beautiful Theorem in Mathematics - Robin

文件大小:7MB 分类:文档书籍 创建时间:2018-03-12 热度:169

Circuit Analysis Superposition , thevenins and Norton Theorem

文件大小:8MB 分类:文档书籍 创建时间:2020-02-16 热度:51

Uspensky-Godels-Incompleteness-Theorem-LML

文件大小:9MB 分类:文档书籍 创建时间:2018-02-26 热度:153

The Four-Color Theorem and Basic Graph Theory 2020

文件大小:10MB 分类:文档书籍 创建时间:2020-07-03 热度:17

Simon Singh - Fermat's Last Theorem [1997][A]

文件大小:13MB 分类:文档书籍 创建时间:2018-02-27 热度:119

Interactive Theorem Proving - 7th International Conference, ITP

文件大小:14MB 分类:文档书籍 创建时间:2018-05-26 热度:42

Theorem Proving in Higher Order

文件大小:25MB 分类:文档书籍 创建时间:2018-03-17 热度:81