机译:层次结构建设者:代数层次结构在COQ方面搭配ELPI(系统说明)
Algebraic HierarchyPacked ClassesCoqElpiMetaprogramming??Prolog;
机译:Coq中的构造代数层次
机译:聚合物-固体界面的分层多尺度建模:原子到粗粒度描述以及聚苯乙烯-金系统的结构和构象性质
机译:动力系统的介观描述:密度分布矩的递归方程的层次结构及其在带电粒子束动力学中的应用
机译:在Coq中使用类型类开发代数层次结构
机译:使用max-plus代数的制造系统的层次建模。
机译:掌握代数可重新训练视觉系统以感知方程式中的层次结构
机译:基于分析层次流程模型的柔性退休系统分析 - 以建设者为例
机译:分层记忆系统对线性代数算法设计的影响