年度75
論文名稱An Automatic Inference Mechanism in Proving Some Properties of Mathematical Expressions
會議名稱Proceedings of International Computer Symposium, Taiwan, R.O.C., pp.226-235
會議開始時間1986-12-01
全部作者趙榮耀; Chow, Louis R.; Liu, Hoo-cheng; Shu, Unise
備註會議論文