机译:统一计算科学与系统理论的形式方法
机译:从库纳范式理论探讨建立统一信息科学的方法和途径
机译:计算非线性系统双曲不变集的形式化方法
机译:fm '99的特殊问题:第一次世界计算机系统开发形式方法大会
机译:统一计算科学与系统理论的形式方法
机译:经验理论的分析成分:形式方法在科学哲学中的应用。
机译:IV。临床咨询系统医疗决策支持系统和临床研究数据库:A.医疗决策支持和人工智能方法论:形式语言理论在医疗决策中的运用
机译:统一计算机科学与系统理论的形式化方法
机译:计算科学:铁路实用的形式化方法 - safeCap方法。