均值演算相关论文
DC/P(duration calculus prover)是一族实时区间逻辑的辅助定理证明工具.它采用Gentzen风格相继式演算作为基本证明系统,并结合项......
DC/P是一族实时区间逻辑的辅助定理证明工具。它采用Gentzen风格相继式演算作为基本证明系统,并结合项重写,自动判定算法等技术以提高证明的自动......