Full metadata record
DC FieldValueLanguage
dc.contributor.author作者:渥伊沃茨基(Vladimir Voevodsky)zh_TW
dc.contributor.author譯者:周樹靜 zh_TW
dc.date.accessioned2017-08-07T02:45:38Z-
dc.date.available2017-08-07T02:45:38Z-
dc.date.issued2016-10-15en_US
dc.identifier.urihttp://yaucenter.nctu.edu.tw/journal/20161025.phpen_US
dc.identifier.urihttp://yaucenter.nctu.edu.tw/journal/201610/ch2/main1.phpen_US
dc.identifier.urihttp://yaucenter.nctu.edu.tw/journal/picture201610.php?url=/journal/201610/ch2/%E6%95%B8%E7%90%86%E4%BA%BA%E6%96%87%E7%AC%AC10%E6%9C%9FP.54.pdfen_US
dc.identifier.urihttp://hdl.handle.net/11536/137351-
dc.description.abstract用電腦輔證數學證明才能避免犯錯zh_TW
dc.language.isozh_TWen_US
dc.publisher國立交通大學丘成桐中心zh_TW
dc.title數學需要電腦與新數學基礎zh_TW
dc.typeCampus Publicationsen_US
dc.identifier.journal數理人文zh_TW
dc.citation.issue10en_US
Appears in Collections:Mathematics, Science, History, and Culture


Files in This Item:

  1. yaucenter-20161015-11.pdf

If it is a zip file, please download the file and unzip it, then open index.html in a browser to view the full text content.