theorem

的圖書，這是第 23 頁

	$ 3299	Theorem Proving with Analytic Tableaux and Related Methods: 4th International Workshop, Tableaux-95, Schloß Rheinfels, St. Goar, Germany, May 7 - 10, 出版社：Springer 出版日期：1995-04-26 語言：英文規格：平裝 / 361頁 / 23.39 x 15.6 x 1.98 cm / 普通級/ 初版博客來 - 程式 - 來源網頁看圖書介紹
	$ 3299	Theorem Provers in Circuit Design: Theory, Practice and Experience: Second International Conference, Tpcd ’’94, Bad Herrenalb, Germany, September 26-28 出版社：Springer 出版日期：1995-03-06 語言：英文規格：平裝 / 312頁 / 23.39 x 15.6 x 1.73 cm / 普通級/ 初版博客來 - 數學理論與邏輯 - 來源網頁看圖書介紹
	$ 4079	Local Analysis for the Odd Order Theorem 作者：Bender　出版社：Cambridge University Press 出版日期：1995-01-27 語言：英文規格：平裝 / 188頁 / 23.06 x 15.39 x 1.19 cm / 普通級/ 初版博客來 - 群論 - 來源網頁看圖書介紹
	$ 3299	Higher Order Logic Theorem Proving and Its Applications: 7th International Workshop, Valletta, Malta, September 19-22, 1994. Proceedings 出版社：Springer 出版日期：1994-09-07 語言：英文規格：平裝 / 477頁 / 23.39 x 15.6 x 2.51 cm / 普通級/ 初版博客來 - 數學理論與邏輯 - 來源網頁看圖書介紹
	$ 3299	Isabelle: A Generic Theorem Prover 作者：Paulson　出版社：Springer 出版日期：1994-07-28 語言：英文規格：平裝 / 329頁 / 23.39 x 15.6 x 1.85 cm / 普通級/ 初版博客來 - 計算機概論 - 來源網頁看圖書介紹
	$ 3299	Mechanical Theorem Proving in Geometries: Basic Principles 作者：Wu ／譯者：Jin,X.,Wang,D.　出版社：Springer 出版日期：1994-04-14 語言：英文規格：平裝 / 288頁 / 24.41 x 16.99 x 1.65 cm / 普通級/ 初版博客來 - 計算機概論 - 來源網頁看圖書介紹
	$ 2757	The Stolper-Samuelson Theorem: A Golden Jubilee 出版社：University of Michigan Press 出版日期：1994-01-01 語言：英文規格：平裝 / 400頁 / 22.61 x 14.99 x 2.79 cm / 普通級/ 初版博客來 - 經濟政策與實務 - 來源網頁看圖書介紹
	$ 2819	Hilbert Space: Compact Operators and the Trace Theorem 作者：Retherford　出版社：Cambridge University Press 出版日期：1993-07-30 語言：英文規格：平裝 / 144頁 / 23.37 x 15.39 x 0.99 cm / 普通級/ 初版博客來 - 數學理論與邏輯 - 來源網頁看圖書介紹
	$ 11520	Hilbert Space: Compact Operators and the Trace Theorem 作者：Retherford　出版社：Cambridge University Press 出版日期：1993-07-30 語言：英文規格：精裝 / 144頁 / 22.86 x 15.24 x 1.27 cm / 普通級/ 初版博客來 - 數字/運算理論與微積分 - 來源網頁看圖書介紹
	$ 6600	The Atiyah-Patodi-Singer Index Theorem 作者：Melrose　出版社：A K PETERS 出版日期：1993-03-31 語言：英文規格：精裝 / 392頁 / 普通級/ 初版博客來 - 數字/運算理論與微積分 - 來源網頁看圖書介紹
	$ 8399	Gleason’s Theorem and Its Applications 作者：Dvurecenskij　出版社：Springer 出版日期：1993-01-31 語言：英文規格：精裝 / 325頁 / 24.4 x 16.5 x 2.5 cm / 普通級/ 初版博客來 - 應用數學 - 來源網頁看圖書介紹
	$ 4140	Lectures on the Arithmetic Riemann-Roch Theorem 作者：Faltings　出版社：Princeton University Press 出版日期：1992-03-10 語言：英文規格：平裝 / 112頁 / 23.6 x 15.5 x 0.8 cm / 普通級博客來 - 幾何學 - 來源網頁看圖書介紹