医疗诊断定理证明等都属于计算机的应用{诚'信'办'里+V:DK523529} 的搜索结果