王浩-族譜新聞-族譜網

王浩

2020-10-16

出處：族譜網

作者：阿族小譜

瀏覽:785次

轉發(fā):0次

評論:0

著作FromMathematicstoPhilosophy,HaoWang,RoutledgeKegan&Paul,June1974ISBN978-0-7100-7689-2ALogicalJourney:FromG?deltoPhilosophy,HaoWang,TheMITPress,1997ISBN978-0-262-23189-3。參考文獻^《俞大維傳》.作者：李元平;出版社：臺灣日報社;出版日：1992年01月05日，392頁;（繁體中文），01，02，增訂版^Wang,Hao.TowardMechanicalMathematics.IBMJournalofResearchandDevelopment4.1960:2–22.doi:10.1147/rd.41.0002.^Loveland,DonaldW.;Bledsoe,W.W.Automatedtheoremproving:a...

著作

From Mathematics to Philosophy , Hao Wang, Routledge Kegan & Paul,June 1974 ISBN 978-0-7100-7689-2

A Logical Journey: From G?del to Philosophy, Hao Wang, The MIT Press, 1997 ISBN 978-0-262-23189-3。

參考文獻

^《俞大維傳》. 作者：李元平; 出版社：臺灣日報社; 出版日：1992年01月05日，392 頁; （繁體中文），01，02，增訂版

^Wang, Hao. Toward Mechanical Mathematics. IBM Journal of Research and Development 4. 1960: 2–22. doi:10.1147/rd.41.0002.

^Loveland, Donald W.; Bledsoe, W. W.Automated theorem proving: after 25 years. Providence, Rhode Island: American Mathematical Society. 1984. ISBN 0-8218-5027-X. , page 47

^吳文俊《數學機械化》iii頁、40頁，科學出版社，ISBN 7-03-010765，實例“數學機械化自動推理平臺”

^ocv

免責聲明：以上內容版權歸原作者所有，如有侵犯您的原創(chuàng)版權請告知，我們將盡快刪除相關內容。感謝每一位辛勤著寫的作者，感謝每一位的分享。

——— 沒有了 ———