构造性命题相关硕士博士期刊学术论文

定理机器证明是人工智能研究的一个重要课题,在其中的几何定理机器证明研究领域,我国的科学家最近二十几年来取得了一系列令世人瞩......