theorem

的圖書，這是第 17 頁

	$ 5640	Frege’s Theorem 作者：Heck　出版社：OUP Oxford 出版日期：2011-12-15 語言：英文規格：精裝 / 356頁 / 23.6 x 15.7 x 2.5 cm / 普通級博客來 - 當代西方哲學 - 來源網頁看圖書介紹
	$ 6599	Theorem Proving with the Real Numbers 作者：Harrison　出版社：Springer 出版日期：2011-11-20 語言：英文規格：平裝 / 186頁 / 23.39 x 15.6 x 1.07 cm / 普通級/ 初版博客來 - 程式 - 來源網頁看圖書介紹
	$ 5999	Topics in Noncommutative Algebra: The Theorem of Campbell, Baker, Hausdorff and Dynkin 作者：Bonfiglioli,Andrea/Fulci,Roberta　出版日期：2011-10-12 語言：英文規格：平裝 / 15.2 x 22.9 x 3.2 cm / 普通級博客來 - 群論 - 來源網頁看圖書介紹
	$ 1100	Higgs Boson Mass predicted by the Four Color Theorem 作者：Khachatryan　出版社：Createspace Independent Publishing Platform 出版日期：2011-10-05 語言：英文規格：平裝 / 62頁 / 27.94 x 21.59 x 0.41 cm / 普通級/ 初版博客來 - 物理理論 - 來源網頁看圖書介紹
	$ 3299	Bell’s Theorem and Quantum Realism: Reassessment in Light of the Schrodinger Paradox 作者：Hemmick　出版社：Springer 出版日期：2011-10-03 語言：英文規格：平裝 / 97頁 / 23.4 x 15.5 x 0.5 cm / 普通級博客來 - 原子, 分子, 核子 - 來源網頁看圖書介紹
	$ 1375	The Four Colour Theorem 作者：Dharwadker　出版社：Createspace Independent Publishing Platform 出版日期：2011-08-31 語言：英文規格：平裝 / 82頁 / 27.94 x 21.59 x 0.53 cm / 普通級/ 初版博客來 - 組合學 - 來源網頁看圖書介紹
	$ 3299	Interactive Theorem Proving: Second International Conference, ITP 2011, Berg En Dal, the Netherlands, August 22-25, 2011, Proceedings 出版社：Springer 出版日期：2011-08-02 語言：英文規格：平裝 / 382頁 / 23.37 x 15.49 x 2.29 cm / 普通級/ 初版博客來 - 程式 - 來源網頁看圖書介紹
	$ 547	Proof of Fermat’s Theorem: And McGinnis’ Theorem of Derivative Equations in an Absolute Proof of Fermat’s Theorem; Reduction of the General Equat 作者：McGinnis　出版社：University of Michigan Library 出版日期：2011-07-07 語言：英文規格：平裝 / 48頁 / 22.86 x 15.24 x 0.3 cm / 普通級/ 初版博客來 - 圖書資訊總論 - 來源網頁看圖書介紹
	$ 5399	Interactive Theorem Proving and Program Development: Coq’’art: The Calculus of Inductive Constructions 作者：Bertot　出版社：Springer 出版日期：2010-12-15 語言：英文規格：平裝 / 472頁 / 23.39 x 15.6 x 2.57 cm / 普通級/ 初版博客來 - 計算機概論 - 來源網頁看圖書介紹
	$ 17999	Bell’s Theorem, Quantum Theory and Conceptions of the Universe 出版社：Springer 出版日期：2010-12-07 語言：英文規格：平裝 / 330頁 / 23.39 x 15.6 x 1.83 cm / 普通級/ 初版博客來 - 量子力學 - 來源網頁看圖書介紹
	$ 3299	Automated Theorem Proving in Software Engineering 作者：Schumann　出版社：Springer 出版日期：2010-12-01 語言：英文規格：平裝 / 228頁 / 23.39 x 15.6 x 1.3 cm / 普通級/ 初版博客來 - 人工智慧 - 來源網頁看圖書介紹
	$ 9599	Abel’s Theorem in Problems and Solutions: Based on the Lectures of Professor V.I. Arnold 作者：Alekseev ／譯者：Aicardi,Francesca　出版社：Springer 出版日期：2010-12-01 語言：英文規格：平裝 / 270頁 / 23.39 x 15.6 x 1.52 cm / 普通級/ 初版博客來 - 群論 - 來源網頁看圖書介紹