安纳托利·德吉亚列夫;迈克尔·费希尔;鲍里斯·科涅夫 单声道时间分辨率。 (英语) 兹伯利1367.03035 ACM事务处理。计算。日志。 7,第1期,108-150(2006). 引用于14文件 MSC公司: 03B44号 时间逻辑 03B35型 证明和逻辑操作的机械化 关键词:时序逻辑;自动定理证明;分辨率 引文:Zbl 0999.03015号 PDF格式BibTeX公司 XML格式引用 \textit{A.Degtyarev}等人,ACM Trans。计算。日志。7,第1号,108--150(2006;Zbl 1367.03035) 全文: 内政部 arXiv公司