ZBMaCT中的参考文献(23篇文章中引用)

显示结果1至20的23。
按年份排序(引文
  1. 鲍姆加特,彼得;施密特,Renate A.:自底向上模型生成方法的阻塞和其他增强(2020)
  2. Nalon,Cluuudit;HuStad,乌尔里克;狄克逊,克莱尔:(MaTrkkk\Mathrs\MaTrMP)一个基于分辨率的定理证明器(Mathsfknn):体系结构、改进、策略和实验(2020)
  3. Lagniez,Jean Marie;勒贝里,丹尼尔;德利马,蒂亚戈;蒙特迈勒,瓦伦丁:一种基于假设的最小S5可满足性问题的求解方法(2018)
  4. 斯蒂恩,亚力山大;Brimmü勒,克里斯托夫:高阶证明器Leo III(2018)
  5. Fari·N·德尔·Cerro,路易斯;赫兹,安德烈亚斯;Su,Ezgi Iraz:捕捉模态逻辑中的平衡模型(2014)
  6. Otten,Jens:MleanCoP:一阶模态逻辑的连接证明器(2014)
  7. 克里斯托夫,Raths,托马斯:基于HOL的一阶模态逻辑处理器(2013)
  8. Korovin,康斯坦丁:IntGen——一种基于实例化的自动化推理的模块化方法(2013)
  9. 施密特,Renate A.;HuSTADT,乌尔里克:模态逻辑的一阶解析方法(2013)
  10. Alechina,娜塔莎;达斯塔尼,Mehdi;洛根,布瑞恩;迈耶,John Jules Ch.:BDI代理程序中计划修订的推理(2011)
  11. 拉贝、弗洛里安、Kohlhase、米迦勒、Sacerdoti Coen、克劳迪奥:整合问题的基本观点(2011)
  12. 巴德尔,弗兰兹;Beckert,伯恩哈德;NIPKOW,托拜厄斯:DeDukTe:冯Theorie zur Anwendung(2010)伊波尔特
  13. 施密特,Renate A.:演绎积分的模拟与综合(2010)
  14. van Valkenhoef,Gert;范德法特,埃尔斯克;维尔布鲁格,RiNek:OOPS:一个(S5N)教育设置证明者(2010)伊波尔特
  15. 阿巴特,彼得洛;Goee,Rajee: TabLeo工作台(2009)
  16. Rabe,弗洛里安;Paulak,Peter;Sutcliffe,杰夫;沈,维纳:解决100美元模态逻辑挑战(2009)
  17. 施密特,Renate A.:演绎法发展的新方法(2009)
  18. Tsarkov,德米特里;霍洛克斯,伊恩;Patel Schneider,Peter F.:优化表达逻辑描述的术语推理(2007)
  19. Goranko,V.M.T.A. Sala,P.S.CavaCo,G.:命题区间时态逻辑的一般表格式方法:理论与实现(2006)
  20. 潘,郭强;瓦迪,Moshe Y.:优化基于BDD的模态求解器。(2003)