科什卡,米兰;克里斯蒂安·亨塞尔;塞巴斯蒂安·荣格斯;Joost-Pieter卡托恩 概率系统的反例引导归纳综合。 (英语) 兹比尔1519.68055 正式Asp。计算。 33,编号4-5,637-667(2021).MSC公司:68号30 60J20型 60年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.采什卡}等人,《正式Asp》。计算。33,编号4--5,637--667(2021;Zbl 1519.68055) 全文: 内政部
Tran,Hoang-Dung村;内拉尼亚娜·帕尔;迭戈·曼扎纳斯·洛佩兹;帕特里克·穆索;杨晓东;阮、滦越;项伟明;斯坦利·巴克;泰勒·T·约翰逊。 分段深度神经网络的验证:带zonotope预滤器的星集方法。 (英语) 兹比尔1519.68143 正式Asp。计算。 33,编号4-5,519-545(2021).MSC公司:60年第68季度 68T07型 PDF格式BibTeX公司 XML格式引用 \textit{H.-D.Tran}等人,正式Asp。计算。33,编号4--5,519--545(2021;Zbl 1519.68143) 全文: 内政部
J Strother摩尔 从纯Lisp定理证明器到ACL2的里程碑。 (英语) Zbl 1427.68348号 正式Asp。计算。 31,第6号,699-732(2019).MSC公司:68伏15 2003年8月 PDF格式BibTeX公司 XML格式引用 \textit{J S.Moore},正式Asp。计算。31,第6号,699--732(2019;Zbl 1427.68348) 全文: 内政部
克劳迪奥·蒙吉;鲍拉·斯波莱蒂尼;玛莎·契契克;卡洛·盖齐 控制器迭代设计的验证驱动框架。 (英语) Zbl 1425.68262号 正式Asp。计算。 31,5号,459-502(2019).MSC公司:60年第68季度 03B44号 68N99型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Menghi}等人,正式Asp。计算。31,第5号,459--502(2019;Zbl 1425.68262) 全文: 内政部
李,秦;格雷姆·史密斯 用陈述性的信念和愿望提炼自主主体。 (英语) Zbl 1358.68277号 正式Asp。计算。 29,第2期,227-249(2017).MSC公司:68T27型 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{Q.Li}和\textit{G.Smith},正式Asp。计算。29,第227-249号(2017年;兹bl 1358.68277) 全文: 内政部
索尼娅·乔治耶夫斯卡;苏珊娜·安多瓦 概率可能/必须测试:通过受限调度程序保留概率。 (英语) Zbl 1259.68152号 正式Asp。计算。 24,编号4-6,727-748(2012).MSC公司:87年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Georgievska}和\textit{S.Andova},正式Asp。计算。24、编号4--6727--748(2012;Zbl 1259.68152) 全文: 内政部
肯托·埃莫托;塞巴斯蒂安·费舍尔;胡镇江 用于MapReduce编程的过滤器嵌入半环融合。 (英语) Zbl 1259.68027号 正式Asp。计算。 24,编号4-6,623-645(2012).MSC公司:68甲18 PDF格式BibTeX公司 XML格式引用 \textit{K.Emoto}等人,《形式Asp》。计算。24,编号4--6623--645(2012;Zbl 1259.68027) 全文: 内政部
帕斯卡·马蒂斯;西蒙·蒂埃里(Simon E.B.Thierry)。 几何约束系统及其分解的形式化。 (英语) Zbl 1214.68437号 正式Asp。计算。 22,第2期,129-151(2010).MSC公司:68单位05 68单位07 PDF格式BibTeX公司 XML格式引用 \textit{P.Mathis}和\textit{S.E.B.Thierry},正式Asp。计算。22,第2号,129--151(2010;Zbl 1214.68437) 全文: 内政部 哈尔
尼科斯·戈罗甘尼斯;马克·瑞恩 对模态逻辑和时序逻辑中的规范进行最小细化。 (英语) Zbl 1139.68389号 正式Asp。计算。 19,第4期,417-444(2007).MSC公司:68问题85 03B44号 03B45号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{N.Gorogannis}和\textit{M.Ryan},正式Asp。计算。19,第4号,417--444(2007;Zbl 1139.68389) 全文: 内政部
尼科斯·戈罗甘尼斯;马克·瑞恩 对模态逻辑和时序逻辑中的规范进行最小细化。 (英语) Zbl 1192.68448号 正式Asp。计算。 19,第1期,35-62(2007); 勘误表19,No.2,273(2007)。MSC公司:68问题85 03B44号 03B45号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{N.Gorogannis}和\textit{M.Ryan},正式Asp。计算。19,第1号,35-62(2007年;兹bl 1192.68448) 全文: 内政部 内政部
迈克尔·汉森。;周朝晨 持续时间演算:逻辑基础。 (英语) Zbl 0887.68101号 正式Asp。计算。 9,第3283-330号(1997年).MSC公司:68T27型 PDF格式BibTeX公司 XML格式引用 \textit{M.R.Hansen}和\textit{Z.Chaochen},正式Asp。计算。9,第3283--330号(1997年;兹bl 0887.68101) 全文: 内政部
克里斯托夫·贝尔;伊贡博格尔 通过多态有序类型对类型化WAM扩展进行细化。 (英语) Zbl 0876.68019号 正式Asp。计算。 8,第5期,539-564(1996).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{C.Beierle}和\textit{E.Börger},正式Asp。计算。8,第5号,539--564(1996;Zbl 0876.68019) 全文: 内政部
克里斯托夫·贝尔;伊贡博格尔 具有抽象类型约束的WAM扩展的规范和正确性证明。 (英语) Zbl 0857.68016号 正式Asp。计算。 8,第4期,428-462(1996).MSC公司:68号01 PDF格式BibTeX公司 XML格式引用 \textit{C.Beierle}和\textit{E.Börger},正式Asp。计算。8,第4号,428--462(1996;Zbl 0857.68016) 全文: 内政部
保罗S.C.阿伦卡尔。;卡洛斯·德·卢塞纳(Carlos J.P.de Lucena)。 演化软件系统的逻辑框架。 (英语) Zbl 0843.68110号 正式Asp。计算。 8,第1期,第3-46页(1996年).MSC公司:68T27型 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{P.S.C.Alencar}和\textit{C.J.P.de Lucena},正式Asp。计算。8,第1号,第3-46号(1996;Zbl 0843.68110) 全文: 内政部
Barringer,H。;M·费希尔。;D.加巴伊。;戈夫(G.Gough)。;R.欧文斯。 MetateM:引言。 (英语) 兹伯利083868014 正式Asp。计算。 7,第5期,533-549(1995).MSC公司:68N17号 60年第68季度 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{H.Barringer}等人,《正式Asp》。计算。7,第5号,533--549(1995;Zbl 0838.68014) 全文: 内政部
布莱恩·托德。;斯坦珀,理查德 一种正式的解释模型。 (英语) Zbl 0835.68079号 正式Asp。计算。 7,第2期,207-225(1995).MSC公司:60年第68季度 68层35 PDF格式BibTeX公司 XML格式引用 \textit{B.S.Todd}和\textit{R.Stamper},正式Asp。计算。7,第2号,207--225(1995;Zbl 0835.68079) 全文: 内政部
苏尼尔·瓦德拉 壁画中的类比证明。 (英语) Zbl 0835.68106号 正式Asp。计算。 7,第2期,183-206(1995).MSC公司:68吨15 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Vadera},正式Asp。计算。7,第2号,183--206(1995;Zbl 0835.68106) 全文: 内政部
沃伊,J.P。;A.斯图尔特。 将数据并行分配正确转换到阵列处理器上。 (英语) Zbl 0820.68032号 正式Asp。计算。 6,第4期,417-439(1994).MSC公司:第68页第20页 第68季度10 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.P.Wray}和\textit{A.Stewart},正式Asp。计算。6,第4号,417--439(1994;Zbl 0820.68032) 全文: 内政部
克里斯·布林克;卡塔琳娜·布里茨;雷娜特·施密特(Renate A.Schmidt)。 皮尔士代数。 (英语) 兹伯利0811.03047 正式Asp。计算。 6,第3期,339-358(1994). 审核人:朱尼斯·切鲁利斯(里加) MSC公司:03G15年 60年第68季度 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{C.Brink}等人,正式Asp。计算。6,第3号,339--358(1994;Zbl 0811.03047) 全文: 内政部