選讀洪震宇家族書寫明亮燦爛的你國寶BL角川時報商周暢榜5折起墨刻2026手帳軌道楊定一2026趨勢松重豐超新台線金剛經薩依德共同知識叩應點讀筆基督麥肯錫遠流心靈工坊繪本聯經最透明2正念百工財神爺榮格學測今周刊常春藤火災逃生長鴻流浪貓橡樹林情緒永遠記得

幾何定理機器證明的基本原理-(初等幾何部分)

出版日期:1984-08-01
出版社:科學出版社
  內容簡介     本書論述初等幾何機器證明的基本原理,證明了奠基於各種公理系統的 各種初等幾何,只需相當於乘法交換律的某一公理成立,大都可以機械化.因 ...

可剖形在歐氏空間中的實現問題

出版日期:1978-05-01
出版社:科學出版社
    內  容簡介     一個空間嵌入另一空間(例如歐氏空間)是否可能以及這些嵌入所依據的   &nb ...


您對於搜尋結果是否滿意?
太好了!感謝您的回饋!
感謝您的建議!我們會持續提供更好的搜尋服務!
很抱歉沒能幫上忙 :( 我們應如何改進呢?