數學二碩士班 施菀菁
學年 90
學期 2
教師姓名 胡守仁
指導學生姓名 施菀菁
班級名稱
論文題名 幾何定理之自動化證明
論文英文題名 AUTOMATIC GEOMETRY THEOREM PROVING
論文提出學年 90
論文提出學期 2
備註
相關連結

電子學位論文連結