机译:最伟大的定点语言和有理Omega-Tree语言:扩展的抽象语言(算法:数学基础和应用)
机译:计算机科学基础专节:计算机科学和算法的数学基础和应用
机译:计算机科学基础专节:算法和计算机科学的数学基础和应用
机译:计算机科学基础专节:算法和计算机科学的数学基础和应用
机译:Rational BDI Agent编程语言的逻辑基础(扩展版)
机译:扩展和完善用于业务流程执行语言的Web服务体系结构的抽象操作语义。
机译:医疗应用平台的基本安全原则(扩展摘要)
机译:最优双基链的动态规划算法:扩展摘要(计算机科学和算法的数学基础和应用)