安娜·卡西米罗；爱德华多·斯卡皮纳基斯 密码组和正交组的基约简。 （英语） Zbl 1508.20073号 半群论坛 101，第3期，779-785（2020）.MSC公司：2007年7月20日 2017年11月20日 PDF格式BibTeX公司 XML格式引用 \textit{A.Casimiro}和\textit{E.Skapinakis}，半群论坛101，第3期，779--785（2020；Zbl 1508.20073） 全文： 内政部 链接
乔昂·阿劳乔；Janusz Konieczny公司 一种为半群类寻找新公理集的方法。 （英语） Zbl 1262.20059号 架构（architecture）。数学。逻辑 51，第5-6号，461-474（2012）. 审核人：佩德罗·桑切斯·特拉夫（科尔多瓦） MSC公司：2007年7月20日 20号02 20A05年 08B05号 20平方米 08A02号 03C05号机组 20个M10 PDF格式BibTeX公司 XML格式引用 \textit{J.Araüjo}和\textit{J.Konieczny}，Arch。数学。逻辑51，No.5--6，461--474（2012；Zbl 1262.20059） 全文： 内政部 链接
乔昂·阿劳乔；威廉·麦库恩 逆半群问题的计算机解法。 （英语） Zbl 1202.20065号 Commun公司。代数 38，第3期，1104-1121（2010）. 审核人：雅克·海诺（塔林） MSC公司：2018年11月20日 2007年7月20日 2005年5月20日 20A05年 68吨15 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{J.Araüjo}和\textit{W.McCune}，Commun。《代数》38，第3期，1104--1121（2010；Zbl 1202.20065） 全文： 内政部
杰夫·萨特克利夫 TPTP问题库和相关基础设施以及相关基础设施。FOF和CNF部件，v3.5.0。 （英语） Zbl 1185.68636号 J.汽车。推理 43，第4期，337-362（2009）.MSC公司：68吨15 PDF格式BibTeX公司 XML格式引用 \textit{G.Sutcliffe}，J.Autom。推理43，第4期，337-362（2009年；兹bl 1185.68636） 全文： 内政部
沃尔克·索尔格；安德烈亚斯·梅耶；罗伊·麦卡斯兰；西蒙·科尔顿 同位素不变量的自动构造和验证。 （英语） Zbl 1139.68050号 J.汽车。推理 40，编号2-3，221-243（2008）.MSC公司：68吨15 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{V.Sorge}等人，J.Autom。推理40，No.2--3，221--243（2008；Zbl 1139.68050） 全文： 内政部
西蒙·科尔顿 使用HR、Otter和Maple在数论中进行自动猜测。 （英语） Zbl 1126.68100号 J.塞姆。计算。 39，第5期，593-615（2005）.MSC公司：68瓦30 2016年11月 68吨15 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{S.Colton}，J.Symb。计算。39，第5号，593--615（2005；Zbl 1126.68100） 全文： 内政部 链接
安德烈亚斯·梅耶；沃尔克·索尔格 SAT求解在有限代数分类中的应用。 （英语） Zbl 1109.68103号 J.汽车。推理 35，编号1-3，201-235（2005）.MSC公司：68T20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Meier}和\textit{V.Sorge}，J.Autom。推理35，No.1--3，201-235（2005；Zbl 1109.68103） 全文： 内政部 链接
张健 有限代数的自动构造。 （英语） Zbl 0837.68052号 J.计算。科学。Technol公司。 10，第3期，206-213（1995）.MSC公司：68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{J.Zhang}，J.计算。科学。Technol公司。10，第3号，206--213（1995；Zbl 0837.68052） 全文： 内政部
托马斯·杰赫 组合逻辑系统中的OTTER实验。 （英语） Zbl 0822.03011号 J.汽车。推理 14，第3期，413-426（1995）.MSC公司：03B40型 68吨15 03-04 PDF格式BibTeX公司 XML格式引用 \textit｛T.Jech｝，J.奥托姆。推理14，No.3，413--426（1995；Zbl 0822.03011） 全文： 内政部 arXiv公司
琼·哈特；肯尼斯·库恩 奇数指数群的单一公理。 （英语） Zbl 0828.68109号 J.汽车。推理 14，第3期，383-412（1995）.MSC公司：68吨15 20A05年 PDF格式BibTeX公司 XML格式引用 \textit{J.Hart}和\textit{K.Kunen}，J.Autom。推理14，No.3，383--412（1995；Zbl 0828.68109） 全文： 内政部
沃斯，L。 共振策略。 （英语） Zbl 0815.68090号 计算。数学。申请。 29，第2期，133-178（1995）.MSC公司：68吨15 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{L.Wos}，计算。数学。申请。29，第2号，133--178（1995；Zbl 0815.68090） 全文： 内政部
帕德马纳班，R。；W.麦库恩。 三次曲线的自动推理。 （英语） Zbl 0828.68110号 计算。数学。申请。 29，第2期，17-26（1995）. 审核人：J.R.Sendra（马德里） MSC公司：68吨15 2005年第14季度 PDF格式BibTeX公司 XML格式引用 \textit｛R.Padmanabhan｝和\textit｛W.McCune｝，计算机。数学。申请。29，No.2，17--26（1995；Zbl 0828.68110） 全文： 内政部
帕德马纳班，R。；W.麦库恩。 三元布尔代数的单恒等式。 （英语） Zbl 0811.06013号 计算。数学。申请。 29，第2期，第13-16页（1995年）.MSC公司：99年6月 68吨15 06-04 PDF格式BibTeX公司 XML格式引用 \textit{R.Padmanabhan}和\textit{W.McCune}，计算。数学。申请。29，No.2，13--16（1995；Zbl 0811.06013） 全文： 内政部
K.库恩。 指数4组的最短公理。 （英语） Zbl 0820.20001号 计算。数学。申请。 29，第2期，第1-12页（1995年）. 审核人：B.H.Neumann（堪培拉） MSC公司：20A05年 20-04 68吨15 20年10月 20层50 PDF格式BibTeX公司 XML格式引用 \textit{K.Kunen}，计算。数学。申请。29，No.2，1--12（1995；Zbl 0820.20001） 全文： 内政部 链接
张健 有限模型生成问题。 （英语） Zbl 1433.68573号 阿兰·邦迪（编辑），《自动扣除——CADE-12》。第十二届国际会议，法国南希，1994年6月26日至7月1日。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。814, 753-757 (1994).MSC公司：68伏15 03B40型 03C13号机组 PDF格式BibTeX公司 XML格式引用 \textit{J.Zhang}，莱克特。票据计算。科学。814753-757（1994年；Zbl 1433.68573） 全文： 内政部
杰夫·萨特克利夫；克里斯蒂安·萨特纳；也门，西奥多 TPTP问题库。 （英语） Zbl 1433.68569号 阿兰·邦迪（编辑），《自动扣除——CADE-12》。第十二届国际会议，法国南希，1994年6月26日至7月1日。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。814, 252-266 (1994).MSC公司：68伏15 68伏35 PDF格式BibTeX公司 XML格式引用 \textit{G.Sutcliffe}等人，Lect。票据计算。科学。814，252--266（1994；Zbl 1433.68569） 全文： 内政部
沃斯，拉里 自动定理发现问题。 （英语） Zbl 0783.68112号 J.汽车。推理 10，第1期，137-138（1993）.MSC公司：68吨15 PDF格式BibTeX公司 XML格式引用 \textit{L.Wos}，J.Autom。推理10，No.1，137--138（1993；Zbl 0783.68112） 全文： 内政部