Thibault Gauthier;Cezary卡利西克;约瑟夫·乌尔班;拉马纳·库马尔;迈克尔·诺里什 战术脚趾:学习用战术证明。 (英语) Zbl 07356973号 J.汽车。推理 65,编号2,257-286(2021).MSC公司:68伏15 PDF格式BibTeX公司 XML格式引用 \textit{T.Gauthier}等人,J.Autom。推理65,No.2,257--286(2021;Zbl 07356973) 全文: 内政部 arXiv公司
陈兴伦;迈克尔·诺里什 AKS算法的机械化。 (英语) Zbl 1465.68301号 J.汽车。推理 65,编号2205-256(2021).MSC公司:68V20型 03B35型 11页51 11年11月 2016年11月 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.L.Chan}和textit{M.Norrish},J.Autom。推理65,No.2,205--256(2021;Zbl 1465.68301) 全文: 内政部
陈兴伦;迈克尔·诺里什 有限域的分类及其应用。 (英语) Zbl 1468.68317号 J.汽车。推理 63,第3期,667-693(2019).MSC公司:68V20型 11个Txx 12E20型 PDF格式BibTeX公司 XML格式引用 \textit{H.-L.Chan}和textit{M.Norrish},J.Autom。推理63,第3期,667-693(2019年;兹bl 1468.68317) 全文: 内政部
迈克尔·诺里什 重写使用continuation实现的转换。 (英语) Zbl 1185.68632号 J.汽车。推理 43,第3号,305-336(2009).MSC公司:68吨15 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Norrish}、J.Autom。推理43,No.3,305--336(2009;Zbl 1185.68632) 全文: 内政部