Farmer，William M。 简单类型理论。表达和推理数学思想的实用逻辑。 （英语） Zbl 1515.03002号 计算机科学基础与应用逻辑查姆：Birkhä用户（ISBN 978-3-031-21111-9/hbk；978-3-331-21114-0/pbk；978-1-3031-21112-6/电子书）。xiv，295页。(2023).MSC公司：03-01 03B38型 PDF格式BibTeX公司 XML格式引用 \textit{W.M.Farmer}，简单类型理论。表达和推理数学思想的实用逻辑。查姆：Birkhäuser（2023；Zbl 1515.03002） 全文： 内政部
弗洛里安·拉贝（编辑）；Farmer，William M。（编辑）；帕斯莫尔，格兰特·O。（编辑）；阿卜杜·尤塞夫（编辑） 智能计算机数学。2018年8月13日至17日，第11届国际会议，CICM 2018，奥地利哈根堡。诉讼程序。 （英语） Zbl 1392.68030号 计算机科学课堂讲稿11006.人工智能课堂讲稿。查姆：施普林格（ISBN 978-3-319-96811-7/pbk；978-3-3169-96812-4/电子书）。xii，第287页。(2018).MSC公司：68-06 68泰克 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{F.Rabe}（编辑）等人，《智能计算机数学》。2018年8月13日至17日，第11届国际会议，CICM 2018，奥地利哈根贝格。诉讼程序。查姆：施普林格（2018；Zbl 1392.68030） 全文： 内政部
詹姆斯·H·达文波特。（编辑）；Farmer，William M。（编辑）；约瑟夫·乌尔班（编辑）；弗洛里安·拉贝（编辑） 智能计算机数学。2011年7月18日至23日在意大利贝蒂诺罗举行的2011年Calculemus第18届研讨会和2011年MKM第10届国际会议。诉讼程序。 （英语） Zbl 1218.68014号 计算机科学课堂讲稿人工智能课堂讲稿。柏林：施普林格出版社（ISBN 978-3-642-22672-4/pbk）。xiii，312页。(2011).MSC公司：68-06 68泰克 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{J.H.Davenport}（编辑）等人，《智能计算机数学》。2011年7月18日至23日在意大利贝蒂诺罗举行的2011年Calculemus第18届研讨会和2011年MKM第10届国际会议。诉讼程序。柏林：施普林格出版社（2011；Zbl 1218.68014） 全文： 内政部
雅克·卡雷特（编辑）；Farmer，William M。（编辑） 第十二届符号计算与机械化推理集成研讨会论文集（Calculemus 2005），纽卡斯尔-乌邦-泰恩，英国，2005年7月18日至19日。 （英语） Zbl 1272.68013号 理论计算机科学电子笔记151，第1号。阿姆斯特丹：爱思唯尔。第177页。，仅电子版（2006年）。MSC公司：68-06 68吨15 68瓦30 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{J.Carette}（编辑）和textit{W.M.Farmer}（编），第十二届符号计算与机械化推理集成研讨会论文集（Calculemus 2005），英国纽卡斯尔大学泰恩分校，2005年7月18-19日。阿姆斯特丹：Elsevier（2006；Zbl 1272.68013） 全文： 链接
乔纳森·博文（Jonathan M.Borwein）。（编辑）；Farmer，William M。（编辑） 数学知识管理。2006年8月11日至12日在英国沃金汉举行的2006年MKM第五届国际会议。诉讼程序。 （英语） Zbl 1114.68004号 计算机科学课堂讲稿人工智能课堂讲稿。柏林：施普林格出版社（ISBN 3-540-37104-4/pbk）。viii，第295页。(2006).MSC公司：68-06 68立方英尺 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{J.M.Borwein}（编辑）和\textit{W.M.Farmer}（主编），数学知识管理。2006年8月11-12日，在英国沃金汉举行的2006年MKM第五届国际会议。诉讼程序。柏林：施普林格出版社（2006；Zbl 1114.68004） 全文： 内政部