×
模态框(Modal)标题
在这里添加一些文本
Close
Close
Submit
Cancel
Confirm
×
模态框(Modal)标题
×
中国科学院数学与系统科学研究院期刊网
ISSN 1000-0577 CN 11-2019/O1
Toggle navigation
JSSMS
Home
About
Editorial Board
Instruction
Publication Ethics
Subscription
Download
Contact Us
中文
A MECHANICAL PROVING SYSTEM FOR CONSTRUCTIBLE THEOREMS IN ELEMENTARY GEOMETRY
WANG DONG-MING ;HU SEN
Journal of Systems Science and Mathematical Sciences . 1987, (
2
): 163 -172 . DOI: 10.12341/jssms08795