函数矩阵及其微积分的高阶逻辑形式化 (Higher-order Logic Formalization of Function Matrix and its Calculus).

Published in: 计算机科学 (2016)

Keyphrases