扩展时态逻辑以支持高级模拟 Alexander Tuzhilin … 电子书下载

原名:EXTENDING TEMPORAL LOGIC TO SUPPORT HIGH-LEVEL SIMULATIONS Alexander Tuzhilin …
作品简介:模拟工艺[SFBBSG]。和 G2 [HSHSS]。基于规则的 .非时间运算符的 inducti1.e 定义的一个示例是 Ki(A A B )……