Department of Informatics Karlsruhe Institute of Technology (KIT) Am Fasanengarten 5 76131 Karlsruhe Germany;
机译:序数算法:算法和机械化
机译:使用序数符号的递归对可容许集理论进行序数分析
机译:使用序数符号的递归对可容许集理论进行序数分析
机译:秩序的机械化一阶理论
机译:比较使用序数等级的参数和非参数项目响应理论模型的模型数据。
机译:一阶剪切变形理论在阶梯式功能梯度一般抛物面壳振动分析中的应用
机译:序数理论的证明理论— I:递归马洛序数
机译:基于广义平均方法的二阶半导体二阶半人工卫星理论研究第一类非球面引力和非共振三维扰动的平均运动方程的显式发展