机译:计算机科学基础专节:计算机科学和算法的数学基础和应用
机译:计算机科学基础专节:算法和计算机科学的数学基础和应用
机译:计算机科学基础专节:算法和计算机科学的数学基础和应用
机译:摇摇欲坠的基础还是突破性的重组?对KurtGödel对逻辑,数学和计算机科学的影响的百年评估
机译:NummSquared 2006a0进行了解释,包括为逻辑,数学和计算机科学建立的新的有充分基础的功能基础。
机译:科学示范文摘。演示文摘:用于医学数据库构建访问和交付的工具:ETNet:专用于健康科学教育中计算机应用的免费计算机会议系统
机译:最优双基链的动态规划算法:扩展摘要(计算机科学和算法的数学基础和应用)
机译:代数逻辑与通用代数在计算机科学中的应用