证明辅助工具Coq相关论文
人工智能研究是当前科技发展的前沿方向,夯实人工智能基础理论尤为重要,数学定理机器证明是人工智能基础理论研究的深刻体现.定理......
人工智能研究是当前科技发展的热点和前沿方向,夯实人工智能基础理论尤为重要,数学定理机器证明是人工智能基础理论研究的深刻体现......