| An Automatic Inference Mechanism in Proving Some Properties of Mathematical Expressions | |
|---|---|
| 學年 | 75 |
| 學期 | 1 |
| 發表日期 | 1986-12-01 |
| 作品名稱 | An Automatic Inference Mechanism in Proving Some Properties of Mathematical Expressions |
| 作品名稱（其他語言） | |
| 著者 | 趙榮耀; Chow, Louis R.; Liu, Hoo-cheng; Shu, Unise |
| 作品所屬單位 | 淡江大學資訊工程學系 |
| 出版者 | |
| 會議名稱 | |
| 會議地點 | |
| 摘要 | |
| 關鍵字 | |
| 語言 | en |
| 收錄於 | |
| 會議性質 | |
| 校內研討會地點 | |
| 研討會時間 | |
| 通訊作者 | |
| 國別 | |
| 公開徵稿 | |
| 出版型式 | |
| 出處 | Proceedings of International Computer Symposium, Taiwan, R.O.C., pp.226-235 |
| 相關連結 |
機構典藏連結 ( http://tkuir.lib.tku.edu.tw:8080/dspace/handle/987654321/37709 ) |
GoogleAnalytics