布尔巴基学派论文

近世代数观点下高等代数的形式化 ——特例研究：向量空间的同构定理及秩与零度定理
论文摘要人工智能技术是计算机类科学非常重要的支系,与基因工程和纳米科学并列为二十一世纪三大顶尖科技。人工智能日渐广泛的应用使得对其理论可靠度的要求也越来越高。人工智能基础理论之...