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 )

機構典藏連結