Computerized simulation; Prototypes; Research management; Electronic equipment; Electrons; Systems engineering; Algorithms; Manipulators; Computer aided design;
机译:数据结构程序的自动推理和自然证明
机译:Web结构:表示和操纵程序的工具
机译:对计算机程序中代表法律的尝试和法律推理过程的批判性评论
机译:基于情境演算的游戏结构表示和推理程序
机译:GISmate:使用地理语义表示,处理和推理的框架。
机译:结肠直肠ERAS计划内术前身体能力有限仍与术后不良结局相关
机译:关于堆操作程序安全性和终止的命题推理
机译:关于物理对象的表示,操作和推理的持续研究程序。