JProver公司

此软件的关键字
zbMATH中的参考文献(参考12篇文章, 1标准件 )
Färber,Michael;Kaliszyk,Cezary:非共通连接表证明(2019) Czajka,Łukasz;Kaliszyk,Cezary:Hammer for Coq:依赖型理论的自动化(2018) Otten,Jens:Nanocop:非条款连接证明(2016) 奥顿,詹斯:非子句连接演算(2011) Otten,Jens:LeanCop2.0和ileanCoP 1.2:经典和直觉逻辑中的高性能精益定理证明。 (系统描述)(2008) 托马斯·拉思;奥滕,詹斯;克里茨,克里斯托夫:直觉逻辑的ILTP问题库(2007) Allen,S.F.;Bickford,M.;Constable,R.L.;Eaton,R.;Kreitz,C.;Lorigo,L.;Moran,E.:使用Nuprl计算类型理论的创新(2006) Otten,Jens:直觉一阶逻辑中基于子句连接的定理证明(2005) Kreitz,Christoph:用Nuprl验证开发系统构建可靠、高性能的网络(2004) Kreitz,Christoph;Mantel,Heiko:乘法指数线性逻辑的矩阵特征(2004) Goré,Rajeev(编辑);Leitsch,Alexander(编辑);Nipkow,Tobias(编辑):自动推理。 2001年6月18日至22日在意大利锡耶纳举行的第1届国际联席会议。 诉讼(2001年) Stephan Schmitt;Lorigo,Lori;Kreitz,Christoph;Nogin,Aleksey:JProver:将基于连接的定理证明集成到交互式证明助手中(2001)