机译:使用无元素IMLS-Ritz方法计算功能梯度的碳纳米管增强复合厚板在弹性基础上的振动解
机译:推导与计算:认真对待Curry-Howard函式
机译:精通函数式编程和类型论形式化的计算与演绎教学基础
机译:带控制功能计算的Curry-Howard基础
机译:递归泛函在数学和物理学基础上的一些应用
机译:自然智能的计算基础
机译:文学功能规划与类型理论形式化的计算与演绎教学基础
机译:ada(商品名)基础技术。第7卷.WIs计算和分析部门(Cas)的软件要求(WWmCCs(全球军事指挥和控制系统)信息系统)pla的智能顾问