矩阵变换理论在HOL4中的形式化期刊界 All Journals 搜尽天下杂志传播学术成果专业期刊搜索期刊信息化学术搜索

矩阵变换理论在HOL4中的形式化

引用本文：	康西楠,施智平,叶世伟,关永.矩阵变换理论在HOL4中的形式化[J].计算机仿真,2014(3):289-294.

作者姓名：	康西楠施智平叶世伟关永

摘要：
本文献已被 CNKI 等数据库收录！