机译:通过翻译证明了在自然的点指数逻辑的定理
Univ Liverpool Dept Comp Sci Liverpool Merseyside England;
Free Univ Bozen Bolzano Fac Comp Sci Bolzano Italy;
Univ Liverpool Dept Comp Sci Liverpool Merseyside England;
Metric temporal logic; Theorem proving; Modelling;
机译:自动定理证明多重半精算的新代数工具:一种提高时间逻辑证明者效率的结构
机译:时间逻辑中的自动定理证明:T—解析
机译:正常条件逻辑的嵌套后续演算和定理证明:定理证明者NESCOND
机译:关于自然的度量时间逻辑的定理证明
机译:通过翻译成描述逻辑来自动证明定理。
机译:Covid-19流行病的控制策略抗疫苗盾牌免疫检疫:公制时间逻辑方法
机译:通过翻译来描述逻辑的自动定理证明
机译:时态逻辑定理证明