| FindBook |
|
有 1533 項符合
proof的圖書，這是第 125 頁 |
 |
$ 11000 | Truth, Proof and Infinity: A Theory of Constructions and Contructive Reasoning
作者：Fletcher 出版社：Springer 出版日期：1998-10-31 語言：英文 規格：精裝 / 470頁 / 23.4 x 15.5 x 2.8 cm / 普通級  博客來 - 理則學/邏輯學
- 來源網頁  看圖書介紹
|
 |
$ 9100 | Handbook of Proof Theory
作者：Buss 出版社：Elsevier Science 出版日期：1998-07-09 語言：英文 規格：精裝 / 810頁 / 23.4 x 15.5 x 4.3 cm / 普通級/ 初版 博客來 - 計算機概論
- 來源網頁 看圖書介紹
|
 |
$ 520 | Affair-Proof Your Marriage: Understanding, Preventing and Surviving an Affair
作者：Staheli 出版社：Harpercollins 出版日期：1998-05-19 語言：英文 規格：平裝 / 276頁 / 20.3 x 13 x 1.5 cm / 普通級/ 初版 博客來 - 發展心理學
- 來源網頁 |
 |
$ 6599 | Proof in Vdm: Case Studies
作者：Bicarregui,Juan C.(EDT)/Agerholm,Sten(EDT) 出版社：Springer Verlag 出版日期：1998-03-02 語言：英文 規格：平裝 / 16.5 x 24.1 x 1.9 cm / 普通級/ 初版 博客來 - 數學理論與邏輯
- 來源網頁 看圖書介紹
|
 |
$ 3299 | Lectures on Proof Verification and Approximation Algorithms
出版社：Springer 出版日期：1998-02-25 語言：英文 規格：平裝 / 348頁 / 23.98 x 16.05 x 2.03 cm / 普通級/ 初版 博客來 - 程式
- 來源網頁 看圖書介紹
|
 |
$ 2039 | Does God’’s Existence Need Proof?
作者：Messer 出版社：Clarendon Press 出版日期：1998-01-08 語言：英文 規格：平裝 / 176頁 / 21.59 x 13.84 x 1.37 cm / 普通級/ 初版 博客來 - 宗教總論
- 來源網頁 看圖書介紹
|
 |
$ 568 | Guide to Methods for Students of Political Science: Property, Proof, and Dispute in Catalonia Around the Year 1000
作者：Van Evera 出版社：Cornell University Press 出版日期：1997-10-15 語言：英文 規格：平裝 / 144頁 / 20.8 x 14 x 1.3 cm / 普通級/ 初版 博客來 - 政治學與政治理論
- 來源網頁  看圖書介紹
|
 |
$ 5450 | Computational Logic and Proof Theory: 5th Kurt Godel Colloquium, Kgc’97, Vienna, Austria, August 25-29, 1997 : P Roceedings
作者：Gottlob 出版社：Springer 出版日期：1997-08-13 語言：英文 規格：平裝 / 355頁 / 23.4 x 15.5 x 2 cm / 普通級/ 初版 博客來 - 計算機概論
- 來源網頁 看圖書介紹
|
 |
$ 760 | The Notebook the Proof the Third Lie: Three Novels
作者：Kristof,Agota/Sheridan,Alan/Watson,David/Romano,Marc 出版日期：1997-06-23 語言：英文 規格：平裝 / 14 x 21.6 x 3.2 cm / 普通級/ 初版 博客來 - 選集/短篇
- 來源網頁  看圖書介紹
|
 |
$ 3359 | Metamathematics, Machines and Godel’s Proof
作者：Shankar 出版社：Cambridge University Press 出版日期：1997-03-28 語言：英文 規格：平裝 / 220頁 / 23.1 x 19.3 x 1.3 cm / 普通級/ 初版 博客來 - 數學理論與邏輯
- 來源網頁 看圖書介紹
|
 |
$ 10199 | Proof Theory of Modal Logic
作者：Wansing 出版社：Springer 出版日期：1996-10-31 語言：英文 規格：精裝 / 318頁 / 23.4 x 15.5 x 2 cm / 普通級/ 初版 博客來 - 數學理論與邏輯
- 來源網頁 看圖書介紹
|
| |
$ 6599 | Resolution Proof Systems: An Algebraic Theory
作者：Stachniak 出版社：Springer 出版日期：1996-04-30 語言：英文 規格：精裝 / 208頁 / 23.39 x 15.6 x 1.42 cm / 普通級/ 初版 博客來 - 數學理論與邏輯
- 來源網頁 看圖書介紹
|
|
|
|
