theorem

的圖書，這是第 19 頁

	$ 266 電子書	The Last Theorem 作者：Arthur C. Clarke,Frederik Pohl　出版社：Random House Publishing Group 出版日期：2008-08-05 樂天KOBO - 科幻小說 - 來源網頁看圖書介紹
	$ 3299	Theorem Proving in Higher Order Logics: 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008, Procee 作者：Ait Mohamed　出版社：Springer 出版日期：2008-07-30 語言：英文規格：平裝 / 319頁 / 23.1 x 15.5 x 2 cm / 普通級博客來 - 計算機概論 - 來源網頁看圖書介紹
	$ 2911	Interactive Theorem Proving in Software Engineering 作者：Kammüller　出版社：VDM Verlag Dr. Mueller E.K. 出版日期：2008-07-22 語言：英文規格：平裝 / 120頁 / 22.86 x 15.24 x 0.64 cm / 普通級/ 初版博客來 - 工程總論與技術 - 來源網頁看圖書介紹
	$ 1199	Fermat’s Last Theorem: Unlocking the Secret of an Ancient Mathematical Problem 作者：Azcel,Amir D.　出版社：Pgw 出版日期：2007-10-01 語言：英文規格：平裝 / 147頁 / 12.7 x 19.1 x 0.6 cm / 普通級博客來 - 數學理論與邏輯 - 來源網頁看圖書介紹
	$ 3299	Theorem Proving in Higher Order Logics: 20th International Conference, TPHOLs 2007 Kaiserslautern, Germany, September 10-13, 2007 Proceedings 出版社：Springer 出版日期：2007-08-28 語言：英文規格：平裝 / 399頁 / 23.37 x 17.17 x 2.39 cm / 普通級/ 初版博客來 - 計算機概論 - 來源網頁看圖書介紹
	$ 7200	The Poetntial Distribution Theorem and Models of Molecular Solutions 作者：Beck　出版社：Cambridge University Press 出版日期：2006-09-18 語言：英文規格：精裝 / 246頁 / 24.9 x 17 x 1.8 cm / 普通級博客來 - 化學理論與應用 - 來源網頁看圖書介紹
	$ 3299	Theorem Proving in Higher Order Logics: 18th International Conference, Tphols 2005, Oxford, Uk, August 22-25, 2005, Proceedings 出版社：Springer 出版日期：2005-08-08 語言：英文規格：平裝 / 414頁 / 23.39 x 15.6 x 2.18 cm / 普通級/ 初版博客來 - 計算機概論 - 來源網頁看圖書介紹
	$ 1979	G�del’s Theorem: An Incomplete Guide to Its Use and Abuse 作者：Franzen　出版社：A K PETERS 出版日期：2005-06-06 語言：英文規格：平裝 / 182頁 / 22.9 x 16 x 1 cm / 普通級博客來 - 集合 - 來源網頁看圖書介紹
	$ 3299	The Brauer-Hasse-Noether Theorem In Historical Perspective 作者：Roquette　出版社：Springer 出版日期：2004-11-17 語言：英文規格：平裝 / 92頁 / 23.4 x 15.5 x 0.5 cm / 普通級博客來 - 代數 - 來源網頁看圖書介紹
	$ 6000	Abel’s Theorem In Problems And Solutions: Based on the lectures of Professor V.I.Arnold 作者：Alekseev　出版社：Springer 出版日期：2004-05-31 語言：英文規格：精裝 / 270頁 / 26.4 x 18.5 x 2.3 cm / 普通級/ 譯本博客來 - 群論 - 來源網頁看圖書介紹
	$ 7199	Interactive Theorem Proving and Program Development: Coq’art: The Calculus of Inductive Constructions 作者：Bertot,Yves/CastTran,Pierre/Huet,Gerard(FRW)/Paulin-Mohring,Christine(FRW)　出版社：Springer-Verlag New York Inc 出版日期：2004-05-14 語言：英文規格：精裝 / 15.9 x 23.5 x 2.5 cm / 普通級博客來 - 程式 - 來源網頁看圖書介紹
	$ 4998	The Birth of Model Theory: Lowenheim’s Theorem in the Frame of the Theory of Relatives 作者：Badesa　出版社：Princeton University Press 出版日期：2004-01-25 語言：英文規格：精裝 / 256頁 / 24.6 x 15.7 x 2 cm / 普通級/ 譯本博客來 - 數學理論與邏輯 - 來源網頁看圖書介紹