×

兹马思-数学第一资源

农夫,威廉M。

计算距离:
作者ID: 农夫,威廉m最近的zbMATH文章由“农民,威廉M
发布为: 农夫,威廉M。
编制索引的文档: 42种出版物自1988年以来,包括4本书

按年份列出的出版物

zbMATH公开赛中包含的引文

30出版物有被引用163时间104份文件 引用人
交互式数学证明系统。 Zbl 0802.68129号
农夫,威廉M。;古特曼,约书亚D。;塞耶,F.哈维尔
29
1993
二阶一元项的统一算法。 浙宝0655.03004
农夫,威廉M。
18
1988
简单的二阶语言,其统一性是不可判定的。 Zbl 0731.03005
农夫,威廉M。
13
1991
丘奇简单类型理论的部分功能版本。 Zbl 0722.03007
农夫,威廉M。
12
1990
简单类型理论的七个优点。 Zbl 1149.03012
农夫,威廉M。
9
2008
术语图重写中的Redex捕获。 Zbl 0723.68057
农夫,威廉M。;瓦特罗,罗纳德J。
9
1990
研究可证性问题的统一理论方法。 Zbl 0735.03001
农夫,威廉M。
8
1991
使用引用和求值对基于语法的数学算法进行形式化。 兹布1390.68778
农夫,威廉M。
6
2013
具有部分函数和子类型的简单类型理论。 Zbl 0837.03003
农夫,威廉M。
6
1993
微积分中出现的不确定性的形式化。 Zbl 1126.03303
农夫,威廉M。
5
2004
奇隆的双态理论。 Zbl 1202.03025
农夫,威廉M。
5
2007
高级理论。 Zbl 1166.68338号
卡莱特,雅克;农夫,威廉M。
5
2008
将引语和评价纳入丘奇的类型理论:句法和语义。 Zbl 1344.68204
农夫,威廉M。
2016
领域:巩固数学理论知识的结构。 Zbl 1304.68169
卡莱特,雅克;农夫,威廉M。;科哈塞,迈克尔
2014
MathScheme:项目描述。 Zbl 1335.68226
卡莱特,雅克;农夫,威廉M。;拉塞尔,康纳
2011
支持部分函数的集合论。 Zbl 0966.03050
农夫,威廉M。;古特曼,约书亚D。
2000
管理数学的正式框架的概述。 Zbl 1038.03013
农夫,威廉M。;冯·莫伦希尔德,马丁
2003
丘奇类型理论中的理论形态及其引证与评价。 Zbl 1367.68302
农夫,威廉M。
2
2017
将数学知识形式化为一个双态理论图:一个案例研究。 Zbl 1367.68299
卡莱特,雅克;农夫,威廉M。
2
2017
数学知识管理。第五届国际会议,MKM 2006,英国沃金汉姆,2006年8月11日至12日。诉讼程序。 Zbl 1114.68004
鲍文,乔纳森M。(编辑);农夫,威廉M。(编辑)
2
2006
数学知识管理述评。 Zbl 1247.68266
卡莱特,雅克;农夫,威廉M。
2
2009
安德鲁斯的不确定性类型理论。 Zbl 1226.03017
农夫,威廉M。
2
2008
IMPS:更新的系统描述。 Zbl 1412.68220号
农夫,威廉M。;古特曼,约书亚D。;法布雷加,哈维尔·塞耶
2
1996
MKM:一个新的跨学科研究领域。 Zbl 1341.68225
农夫,威廉M。
2
2004
Kreisel证明长度问题。 Zbl 0865.03044
农夫,威廉M。
2
1992
智能计算机数学。2011年7月18日至23日,意大利贝蒂诺罗,2011年MKM第18届国际会议。诉讼程序。 Zbl 1218.68014
达文波特,詹姆斯H。(编辑);农夫,威廉M。(编辑);城市,约瑟夫(编辑);拉贝,弗洛里安(编辑)
2
2011
理论间推理的基础。 Zbl 0963.68179
农夫,威廉M。
2
2000
数学推理和计算中的语境。 Zbl 0836.68107
农夫,威廉M。;古特曼,约书亚D。;塞耶,F.哈维尔
1
1995
Panoptes:一种形式证明的探索工具。 Zbl 1291.68339
农夫,威廉M。;格里戈洛夫,奥林G。
1
2009
利用理论陈述中包含的信息。 Zbl 1455.68255
卡莱特,雅克;农夫,威廉M。;夏罗达,亚斯敏
1
2020
利用理论陈述中包含的信息。 Zbl 1455.68255
卡莱特,雅克;农夫,威廉M。;夏罗达,亚斯敏
1
2020
丘奇类型理论中的理论形态及其引证与评价。 Zbl 1367.68302
农夫,威廉M。
2
2017
将数学知识形式化为一个双态理论图:一个案例研究。 Zbl 1367.68299
卡莱特,雅克;农夫,威廉M。
2
2017
将引语和评价纳入丘奇的类型理论:句法和语义。 Zbl 1344.68204
农夫,威廉M。
2016
领域:巩固数学理论知识的结构。 Zbl 1304.68169
卡莱特,雅克;农夫,威廉M。;科哈塞,迈克尔
2014
使用引用和求值对基于语法的数学算法进行形式化。 兹布1390.68778
农夫,威廉M。
6
2013
MathScheme:项目描述。 Zbl 1335.68226
卡莱特,雅克;农夫,威廉M。;O’康纳,拉塞尔
2011
智能计算机数学。2011年7月18日至23日,意大利贝蒂诺罗,2011年MKM第18届国际会议。诉讼程序。 Zbl 1218.68014
达文波特,詹姆斯H。;农夫,威廉M。;城市,约瑟夫;拉贝,弗洛里安
2
2011
数学管理知识综述。 Zbl 1247.68266
卡莱特,雅克;农夫,威廉M。
2
2009
Panoptes:一种形式证明的探索工具。 Zbl 1291.68339
农夫,威廉M。;格里戈洛夫,奥林G。
1
2009
简单类型理论的七个优点。 Zbl 1149.03012
农夫,威廉M。
9
2008
高级理论。 Zbl 1166.68338号
卡莱特,雅克;农夫,威廉M。
5
2008
安德鲁斯的不确定性类型理论。 Zbl 1226.03017
农夫,威廉M。
2
2008
奇隆的双态理论。 Zbl 1202.03025
农夫,威廉M。
5
2007
数学知识管理。第五届国际会议,MKM 2006,英国沃金汉姆,2006年8月11日至12日。诉讼程序。 Zbl 1114.68004
鲍文,乔纳森M。;农夫,威廉M。
2
2006
微积分中出现的不确定性的形式化。 Zbl 1126.03303
农夫,威廉M。
5
2004
MKM:一个新的跨学科研究领域。 Zbl 1341.68225
农夫,威廉M。
2
2004
管理数学的正式框架的概述。 Zbl 1038.03013
农夫,威廉M。;冯·莫伦希尔德,马丁
2003
支持部分函数的集合论。 Zbl 0966.03050
农夫,威廉M。;古特曼,约书亚D。
2000
理论间推理的基础。 Zbl 0963.68179
农夫,威廉M。
2
2000
IMPS:更新的系统描述。 Zbl 1412.68220号
农夫,威廉M。;古特曼,约书亚D。;法布雷加,哈维尔·塞耶
2
1996
数学推理和计算中的语境。 Zbl 0836.68107
农夫,威廉M。;古特曼,约书亚D。;塞耶,F.哈维尔
1
1995
交互式数学证明系统。 Zbl 0802.68129号
农夫,威廉M。;古特曼,约书亚D。;塞耶,F.哈维尔
29
1993
具有部分函数和子类型的简单类型理论。 Zbl 0837.03003
农夫,威廉M。
6
1993
Kreisel证明长度问题。 Zbl 0865.03044
农夫,威廉M。
2
1992
简单的二阶语言,其统一性是不可判定的。 Zbl 0731.03005
农夫,威廉M。
13
1991
研究可证性问题的统一理论方法。 Zbl 0735.03001
农夫,威廉M。
8
1991
丘奇简单类型理论的部分功能版本。 Zbl 0722.03007
农夫,威廉M。
12
1990
术语图重写中的Redex捕获。 Zbl 0723.68057
农夫,威廉M。;瓦特罗,罗纳德J。
9
1990
二阶一元项的统一算法。 浙宝0655.03004
农夫,威廉M。
18
1988
全部的 前5名

被135位作者引用

18 农夫,威廉M。
10 科哈塞,迈克尔
10 拉贝,弗洛里安
5 卡莱特,雅克
4 古特曼,约书亚D。
安库,米娜
维勒姆,诺瓦克
Schmidt Schauß,曼弗雷德
小牛肉,玛格斯
2 安德鲁斯,彼得B。
2 阿丽奥拉,泽娜·M。
2 班纳,理查德
2 邦迪,艾伦
2 巴斯,塞缪尔R。
2 科拉迪尼,安德里亚
2 德尼维尔,汉斯
2 加杜奇,法比奥
2 格罗夫,古德蒙德
2 卡利斯齐克,塞扎里
2 利维,乔迪
2 劳埃德,约翰·怀利
2 吴建雄
2 保尔森,劳伦斯·查尔斯
2 豌豆,艾莉森
2 拉吉,丹尼尔
2 乌瑟,威廉T.B。
1 阿库达斯,科斯塔斯
1 巴兹,马提亚斯
1 班切雷克,格雷戈尔茨
1 伯杰,乌尔里希
1 毕肖普,马修
1 阿娜,波夫
1 德拉图尔男孩,蒂埃里
1 布雷迪,埃德温·C。
1 布朗,查德·爱德华
1 比林斯基,捷克
1 凯恩斯,保罗
1 卡尔梅特,雅克
1 康托纳,多梅尼科
1 卡内罗,马里奥M。
1 卡瓦内托,斯特凡诺
1 塞拉,卡门·伊曼纽尔
1 陈晓雨
1 辛科蒂,詹卢卡
1 科蒙,休伯特
1 德维茨,肖纳克
1 迪特里希,多米尼克
1 多尔蒂,丹尼尔J。
1 道克,吉尔
1 科维坦邓切夫
1 伊莱扎罗夫,A.M。
1 法布雷加,哈维尔·塞耶
1 菲茨杰拉德,约翰S。
1 加贝,默多克·詹姆斯
1 加里尔,让·H。
1 加洛,乔瓦尼
1 甘津格,哈拉尔德
1 吉尔摩,保罗·C。
1 高,杰里米
1 格雷博夫斯基,亚当
1 格里戈洛夫,奥林G。
1 原野,Masateru
1 海勒,玛丽安·J·H。
1 平田,口池
1 嗯,领带
1 亨特,沃伦·A·琼。
1 赫特,迪特
1 赫特,马库斯
1 伊萨,苏尼尔
1 杰奎马尔,弗洛伦特
1 琼斯,克里夫B。
1 卡明斯基,马克
1 卡普兰,圣潘
1 克伯,曼弗雷德
1 凯特玛,杰伦
1 凯特,亚历山大
1 汗阿夫沙尔,萨纳兹
1 基里洛维奇,Aleksandr Vital'evich
1 克洛普,简·威廉
1 科哈塞,安德里亚
1 科尼奥维茨,阿图尔
1 科斯特雷克,米洛什
1 克劳斯,亚历山大
1 克鲁普斯基,弗拉基米尔·尼古拉耶维奇
1 栗原,Masahito
1 Libal,托默
1 利帕切夫,E.K。
1 马格西,马可
1 马图斯泽夫斯基,罗曼
1 麦卡莱斯特,大卫艾伦
1 纳德尔,马克E。
1 纳伦德兰,佩利思
1 诺莫维奇,亚当
1 奈斯密斯,丹
1 涅佐罗娃,奥加阿韦尼罗夫纳
1 奥康纳,拉塞尔
1 小川,瑞穗
1 大口,Azuma
1 奥托,弗里德里希
1 欧文斯,斯科特
…还有35位作者

按年份列出的引文