阿明·查伊布 形式幂级数。 (英语) Zbl 1266.03022号 J.汽车。推理 47,第3期,291-318(2011). 审核人:Viorica Sofrone-Stokkerman(科布伦茨) MSC公司:03B35型 32A05型 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{A.Chaieb},J.Autom。推理47,No.3,291--318(2011;Zbl 1266.03022) 全文: 内政部
马丁·马特奥斯,弗朗西斯科·杰苏斯;何塞·路易斯·鲁伊斯·雷纳;何塞·安东尼奥·阿隆索;玛丽亚·何塞·伊达尔戈 证明珍珠:ACL2中Higman引理的形式证明。 (英语) Zbl 1243.68269号 J.汽车。推理 47,第3期,229-250(2011).MSC公司:68吨15 03B35型 03E05号 05年05月05日 05C85号 PDF格式BibTeX公司 XML格式引用 \textit{F.J.Martín-Mateos}等人,J.Autom。推理47,No.3,229--250(2011;Zbl 1243.68269) 全文: 内政部 链接
吉安尼·乔利;格拉齐亚诺·庆蒂利;马可·马格西 Cartan不动点定理的一个证明。 (英语) Zbl 1250.68233号 J.汽车。推理 47,第3期,319-336(2011). 审核人:曼弗雷德·科伯(伯明翰) MSC公司:68吨15 32安培99 30摄氏度80 PDF格式BibTeX公司 XML格式引用 \textit{G.Ciolli}等人,J.Autom。推理47,No.3,319--336(2011;Zbl 1250.68233) 全文: 内政部
穆阿·约翰逊;卢卡斯·狄克逊;阿兰·邦迪 归纳理论的猜想综合。 (英语) Zbl 1243.68268号 J.汽车。推理 47,第3期,251-289(2011).MSC公司:68吨15 PDF格式BibTeX公司 XML格式引用 \textit{M.Johansson}等人,J.Autom。推理47,No.3,251--289(2011;Zbl 1243.68268) 全文: 内政部 链接