机译:具有等式的超Tableaux微积分及其在有限模型计算中的应用
NICTA, Canberra, Australia;
Fachbereich Informatik, Universitaet Koblenz-Landau, Koblenz, Germany;
Fachbereich Informatik, Universitaet Koblenz-Landau, Koblenz, Germany;
automated reasoning; hyper tableaux; equality; finite model computation;
机译:超图文法系统在自适应有限元计算中的应用
机译:超图语法系统在自适应有限元计算中的应用
机译:从计算到通过功能和应用的基础:lambda演算及其Web模型
机译:基于有限样本路径的隐马尔可夫模型综合及其在计算生物学中的应用
机译:用于非线性光学应用的有机和有机金属分子对波长相关的超瑞利散射的精确测量和建模
机译:人腰椎计算高效有限元模型的开发与验证:椎间盘退变的应用
机译:具有等式的超级平台微积分及其在有限模型计算中的应用