×

找到20个文档（结果1–20）

最新的 引文 关联
雅克·卡雷特；Farmer，William M。

将数学知识形式化为双形式理论图：案例研究。 （英语） Zbl 1367.68299号

Geuvers，Herman（编辑）等人，《智能计算机数学》。2017年7月17日至21日在英国爱丁堡举行的第十届国际会议，CICM 2017。诉讼程序。查姆：施普林格（ISBN 978-3-319-62074-9/pbk；978-3-3169-62075-6/电子书）。计算机科学讲义10383。《人工智能课堂讲稿》，9-24（2017）。
MSC公司：68立方英尺 03B15号机组 03B35型 30楼03号 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{J.Carette}和\textit{W.M.Farmer}，莱克特。注释计算。科学。10383，9--24（2017；Zbl 1367.68299）
全文： DOI程序 arXiv公司
Farmer，William M。

丘奇类型理论中的理论形态与引用和评价。 （英语） Zbl 1367.68302号

Geuvers，Herman（编辑）等人，《智能计算机数学》。2017年7月17日至21日在英国爱丁堡举行的第十届国际会议，CICM 2017。诉讼程序。查姆：施普林格（ISBN 978-3-319-62074-9/pbk；978-3-3169-62075-6/电子书）。计算机科学讲义10383。《人工智能讲义》，147-162（2017）。
MSC公司：68立方英尺 03B15号机组 68瓦30
PDF格式BibTeX公司 XML格式引用
\textit{W.M.Farmer}，莱克特。注释计算。科学。10383、147--162（2017年；Zbl 1367.68302）
全文： DOI程序 arXiv公司
Farmer，William M。

将引用和评价纳入Church的类型理论：句法和语义。 （英语） Zbl 1344.68204号

Michael Kohlhase（编辑）等人，《智能计算机数学》。2016年7月25日至29日，第九届国际会议，CICM 2016，波兰比亚莱斯托克。诉讼程序。查姆：施普林格（ISBN 978-3-319-42546-7/pbk；978-3-316-42547-4/电子书）。计算机科学课程讲稿9791。《人工智能课堂讲稿》，83-98（2016）。
MSC公司：68吨15 03B15号机组 68甲15
PDF格式BibTeX公司 XML格式引用
\textit{W.M.Farmer}，莱克特。注释计算。科学。9791，83-98（2016年；兹比尔1344.68204）
全文： DOI程序 arXiv公司
雅克·卡雷特；Farmer，William M。；迈克尔·科尔哈斯

领域：巩固数学理论知识的结构。 （英语） Zbl 1304.68169号

Watt，Stephen M.（编辑）等人，《智能计算机数学》。2014年7月7日至11日在葡萄牙科英布拉举行的2014年国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-319-08433-6/pbk）。计算机科学课程讲稿8543。《人工智能课堂讲稿》，252-266（2014）。
MSC公司：68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit｛J.Carette｝等人，Lect。注释计算。科学。8543、252--266（2014；Zbl 1304.68169）
全文： DOI程序 arXiv公司
雅克·卡雷特；Farmer，William M。；罗素·奥康纳

MathScheme：项目描述。 （英语） Zbl 1335.68226号

Davenport，James H.（编辑）等人，《智能计算机数学》。2011年7月18日至23日在意大利贝蒂诺罗举行的2011年Calculemus第18届研讨会和2011年MKM第10届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-22672-4/pbk）。计算机科学课堂讲稿6824。人工智能课堂讲稿，287-288（2011）。
MSC公司：68吨15
PDF格式BibTeX公司 XML格式引用
\textit{J.Carette}等人，Lect。注释计算。科学。6824、287--288（2011年；Zbl 1335.68226）
全文： DOI程序
Farmer，William M。；奥林·格里戈洛夫。

Panoptes：用于正式证明的探索工具。 （英语） Zbl 1291.68339号

Autexier，Serge（编辑）等人，《第八届定理证明器用户界面国际研讨会论文集》（UITP 2008），加拿大蒙特利尔，2008年8月22日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记22639-48（2009）。
MSC公司：68吨15
PDF格式BibTeX公司 XML格式引用
\textit{W.M.Farmer}和\textit{O.G.Grigorov}，电子。注释Theor。计算。科学。22639--48（2009年；Zbl 1291.68339）
全文： DOI程序
雅克·卡雷特；Farmer，William M。

数学知识管理综述。 （英语） Zbl 1247.68266号

Carette，Jacques（编辑）等人，《智能计算机数学》。2009年7月6日至12日，作为CICM 2009的一部分，在加拿大大本德举行了2009年第16届Calculemus研讨会，2009年第8届MKM国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02613-3/pbk）。计算机科学课程讲稿5625。人工智能课堂讲稿，233-246（2009）。
MSC公司：68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{J.Carette}和\textit{W.M.Farmer}，莱克特。注释计算。科学。5625233-246（2009年；Zbl 1247.68266）
全文： DOI程序
雅克·卡雷特；Farmer，William M。

高级理论。 （英语） Zbl 1166.68338号

Autexier，Serge（编辑）等人，《智能计算机数学》。2008年7月28日至8月1日，在英国伯明翰举行的2008年AISC第九届国际会议、2008年Calculemus第十五届研讨会、2008年MKM第七届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-85109-7/pbk）。计算机科学课堂讲稿5144。人工智能课堂讲稿，232-245（2008）。
MSC公司：68吨15 68号30
PDF格式BibTeX公司 XML格式引用
\textit{J.Carette}和\textit{W.M.Farmer}，莱克特。注释计算。科学。5144232--245（2008年；Zbl 1166.68338）
全文： DOI程序
Farmer，William M。；乔舒亚·古特曼。；Fábrega，F.Javier Thayer

IMPS：更新的系统描述。 （英语） Zbl 1412.68220号

McRobbie，M.A.（编辑）等人，《自动扣除——CADE-13》。第十三届自动扣减国际会议，美国新泽西州新不伦瑞克，1996年7月/8月。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1104, 298-302 (1996).
MSC公司：68吨15
PDF格式BibTeX公司 XML格式引用
\textit{W.M.Farmer}等人，Lect。注释计算。科学。1104，298--302（1996；Zbl 1412.68220）
全文： DOI程序
Farmer，William M。；乔舒亚·古特曼。；马克·纳德尔（Mark E.Nadel）。；塞耶，F.哈维尔

IMPS中的校对脚本语用学。 （英语） Zbl 1433.68545号

阿兰·邦迪（编辑），《自动扣除——CADE-12》。第十二届国际会议，法国南希，1994年6月26日至7月1日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。814, 356-370 (1994).
MSC公司：68伏15
PDF格式BibTeX公司 XML格式引用
\textit{W.M.Farmer}等人，Lect。注释计算。科学。814356-370（1994年；Zbl 1433.68545）
全文： DOI程序
Farmer，William M。；罗纳德·瓦特罗（Ronald J.Watro）。

术语图重写中的Redex捕获（简明版）。 （英语） Zbl 1503.68104号

书，罗纳德·V（编辑），《重写技术和应用》。第四届国际会议，RTA-91，意大利科摩，1991年4月10-12日。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。488, 13-24 (1991).
MSC公司：2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{W.M.Farmer}和\textit{R.J.Watro}，莱克特。注释计算。科学。488、13-24（1991年；Zbl 1503.68104）
全文： DOI程序

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件