theorem

的圖書，這是第 22 頁

	$ 3299	Theorem Proving in Higher Order Logics: 12th International Conference, Tphols’’99, Nice, France, September 14-17, 1999, Proceedings 出版社：Springer 出版日期：1999-09-01 語言：英文規格：平裝 / 364頁 / 23.39 x 15.6 x 1.98 cm / 普通級/ 初版博客來 - 醫學總論 - 來源網頁看圖書介紹
	$ 5399	Fermat’s Last Theorem for Amateurs 作者：Ribenboim　出版社：Springer 出版日期：1999-02-11 語言：英文規格：精裝 / 407頁 / 24.4 x 16 x 2.5 cm / 普通級/ 初版博客來 - 數字/運算理論與微積分 - 來源網頁看圖書介紹
	$ 6450	Theorem Proving in Higher Order Logics: 11th International Conference, Tphols ’98, Canberra, Australia, September 27-October 2, 作者：Grundy　出版社：Springer 出版日期：1998-09-09 語言：英文規格：平裝 / 496頁 / 23.4 x 15.5 x 2.5 cm / 普通級博客來 - 程式 - 來源網頁看圖書介紹
	$ 5940	The Four-Color Theorem 作者：Fritsch　出版社：Springer 出版日期：1998-08-13 語言：英文規格：精裝 / 260頁 / 24.1 x 16.3 x 1.8 cm / 普通級/ 初版博客來 - 拓撲學 - 來源網頁看圖書介紹
	$ 5880	Pauli and the Spin-Statistics Theorem 作者：Duck　出版社：World Scientific Publishing Company 出版日期：1998-03-16 語言：英文規格：精裝 / 524頁 / 22.9 x 15.2 x 2.8 cm / 普通級/ 初版博客來 - 量子力學 - 來源網頁看圖書介紹
	$ 4250	Theorem Proving in Higher Order Logics: 10th International Conference, TPHOLs ’97, Murray Hill, Nj, USA, August 19-22, 1997 : P 作者：Gunter　出版社：Springer 出版日期：1997-08-06 語言：英文規格：平裝 / 346頁 / 23.4 x 15.5 x 1.8 cm / 普通級/ 初版博客來 - 計算機概論 - 來源網頁看圖書介紹
	$ 4250	Fundamental Theorem of Algebra 作者：Fine　出版社：Springer 出版日期：1997-06-20 語言：英文規格：精裝 / 210頁 / 24.4 x 16.3 x 1.5 cm / 普通級/ 初版博客來 - 代數 - 來源網頁看圖書介紹
	$ 3299	Gromov’s Compactness Theorem for Pseudo-Holomorphic Curves 作者：Hummel　出版社：Birkhauser 出版日期：1997-05-01 語言：英文規格：精裝 / 135頁 / 23.4 x 15.5 x 1 cm / 普通級/ 初版博客來 - 幾何學 - 來源網頁看圖書介紹
	$ 14300	The Limits of Logic: Higher-Order Logic and the Lowenheim-Skolem Theorem 作者：Shapiro　出版社：Routledge 出版日期：1996-10-31 語言：英文規格：精裝 / 552頁 / 普通級/ 初版博客來 - 理則學/邏輯學 - 來源網頁看圖書介紹
	$ 5000	Chinese Remainder Theorem: Applications in Computing, Coding, Cryptography 作者：Ding　出版社：World Scientific Publishing Company 出版日期：1996-10-25 語言：英文規格：精裝 / 224頁 / 22.1 x 15.7 x 1.8 cm / 普通級博客來 - 集合 - 來源網頁看圖書介紹
	$ 3299	Theorem Proving with Analytic Tableaux and Related Methods: 5th International Workshop, Tableaux ’’96, Terrasini (Palermo), Italy, May 15 - 17, 1996. P 出版社：Springer 出版日期：1996-04-24 語言：英文規格：平裝 / 336頁 / 23.39 x 15.6 x 1.83 cm / 普通級/ 初版博客來 - 計算機概論 - 來源網頁看圖書介紹
	$ 9897	Notes on Fermat’s Last Theorem 作者：Van Der Poorten　出版社：Wiley-Interscience 出版日期：1996-02-16 語言：英文規格：精裝 / 240頁 / 24.4 x 16.5 x 2.3 cm / 普通級/ 初版博客來 - 數字/運算理論與微積分 - 來源網頁看圖書介紹