约翰·Hölzl Isabelle/HOL中的马尔可夫链和马尔可夫决策过程。 (英语) Zbl 1425.68375号 J.汽车。推理 59,第3号,345-387(2017).MSC公司:68吨15 60J10型 60年第68季度 90立方厘米 PDF格式BibTeX公司 XML格式引用 \文本{J.Hölzl},J.Autom。推理59,No.3,345--387(2017;Zbl 1425.68375) 全文: 内政部
周杰;王定康;孙尧 用Gröbner基方法自动证明和发现可约几何定理。 (英语) Zbl 1425.68383号 J.汽车。推理 59,编号331-344(2017).MSC公司:68吨15 03B35型 13页第10页 2004年5月5日 PDF格式BibTeX公司 XML格式引用 \textit{J.Zhou}等人,J.Autom。推理59,No.3,331--344(2017;Zbl 1425.68383) 全文: 内政部
扎卡里亚·奇哈尼;戴尔·米勒;费边·雷诺 证据的语义框架。 (英语) Zbl 1425.68371号 J.汽车。推理 59,第3期,287-330(2017).MSC公司:68吨15 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{Z.Chihani}等人,J.Autom。推理59,No.3,287--330(2017;Zbl 1425.68371) 全文: 内政部 哈尔