| FindBook |
|
有 294 項符合
theorem的圖書，這是第 21 頁 |
 |
$ 3299 | Automated Theorem Proving in Software Engineering
作者：Schumann,Johann M. 出版日期：2001-06-20 語言：英文 規格：精裝 / 16.5 x 24.1 x 1.9 cm / 普通級/ 初版  博客來 - 人工智慧
- 來源網頁  看圖書介紹
|
 |
$ 7500 | A Combination of Geometry Theorem Proving and Nonstandard Analysis With Application to Newton’s Principia
作者：Fleuriot 出版社：Springer 出版日期：2001-06-08 語言：英文 規格：精裝 / 140頁 / 23.6 x 15.5 x 1.5 cm / 普通級/ 初版 博客來 - 計算機概論
- 來源網頁 看圖書介紹
|
 |
$ 2699 | Lectures on Choquet’s Theorem
作者：Phelps 出版社：Springer 出版日期：2001-05-08 語言：英文 規格：平裝 / 130頁 / 23.6 x 15.7 x 0.8 cm / 普通級/ 再版 博客來 - 數學理論與邏輯
- 來源網頁 看圖書介紹
|
 |
$ 6599 | Mathematics Mechanization: Mechanical Geometry Theorem-Proving, Mechanical Geometry Problem-Solving, and Polynomial Equations-So
作者：Wu 出版社：Springer 出版日期：2001-04-30 語言：英文 規格：精裝 / 420頁 / 23.4 x 15.5 x 2.3 cm / 普通級/ 初版 博客來 - 計算機概論
- 來源網頁 看圖書介紹
|
 |
$ 7199 | Nevanlinna’s Theory of Value Distribution: The Second Main Theorem and Its Error Terms
作者：Cherry,William/Ye,Zhuan 出版社：Springer Verlag 出版日期：2001-04-24 語言：英文 規格：精裝 / 1.9*16.5*24.8 cm / 普級 / 單色印刷 / 初版 博客來 - 數學理論與邏輯
- 來源網頁 看圖書介紹
|
 |
$ 11450 | Automated Theorem Proving: Theory and Practice
作者：Newborn 出版社：Springer 出版日期：2000-12-15 語言：英文 規格：精裝 / 231頁 / 23.4 x 15.5 x 1.5 cm / 普通級/ 初版 博客來 - 數學理論與邏輯
- 來源網頁 看圖書介紹
|
 |
$ 3299 | Theorem Proving in Higher Order Logics: 13th International Conference, Tphols 2000 Portland, Or, Usa, August 14-18, 2000 Proceedings
出版社：Springer 出版日期：2000-07-27 語言：英文 規格：平裝 / 539頁 / 23.39 x 15.6 x 2.84 cm / 普通級/ 初版 博客來 - 醫學總論
- 來源網頁 看圖書介紹
|
 |
$ 3200 | Character Theory for the Odd Order Theorem
作者：Peterfalvi 出版社：Cambridge University Press 出版日期：2000-02-28 語言：英文 規格：平裝 / 164頁 / 22.9 x 15.2 x 1 cm / 普通級/ 初版 博客來 - 代數
- 來源網頁 看圖書介紹
|
 |
$ 4199 | Fermat’s Last Theorem: A Genetic Introduction to Algebraic Number Theory
作者：Edwards 出版社：Springer 出版日期：2000-01-14 語言：英文 規格：平裝 / 407頁 / 23.6 x 15.7 x 2 cm / 普通級/ 初版 博客來 - 數字/運算理論與微積分
- 來源網頁 看圖書介紹
|
 |
$ 6599 | Modular Forms and Fermat’s Last Theorem
作者：Cornell 出版社：Springer 出版日期：2000-01-14 語言：英文 規格：精裝 / 582頁 / 24.4 x 16.3 x 3.3 cm / 普通級/ 初版 博客來 - 數字/運算理論與微積分
- 來源網頁 看圖書介紹
|
 |
$ 6599 | Modular Forms and Fermat’s Last Theorem
作者：Cornell 出版社：Springer 出版日期：2000-01-14 語言：英文 規格：平裝 / 582頁 / 23.6 x 15.5 x 2.8 cm / 普通級/ 初版 博客來 - 數字/運算理論與微積分
- 來源網頁 看圖書介紹
|
 |
$ 3299 | The Efficiency of Theorem Proving Strategies: A Comparative and Asymptotic Analysis
作者：Plaisted 出版社：Vieweg+teubner Verlag 出版日期：1999-10-28 語言：英文 規格：平裝 / 172頁 / 21.1 x 14.7 x 1 cm / 普通級/ 再版 博客來 - 計算機概論
- 來源網頁 看圖書介紹
|
|
|
|
