停止战争！

Остановите войну!

对于科学家：

默认搜索操作

组合dblp搜索
作者搜索
场馆搜索
出版物搜索

问别人

理查德·沃丁格

理查德·沃尔丁格

>主页 >珀森斯

人员信息

附属： 美国加利福尼亚州门罗公园SRI国际
奖项（2016）：赫布兰德奖

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

2010 – 2019

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2019
[j20]
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fac/DershowitzW19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fac/DershowitzW19
纳丘姆·德肖维茨,理查德·沃尔丁格:
佐哈尔·曼纳（1939-2018）。形式方面计算。 31(6):643-660(2019)
2017
[c42]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/nca/CharmetWBKT17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/nca/CharmetWBKT17
法比安·查梅特,理查德·沃尔丁格,格雷戈里·布朗,克里斯托夫·基内特,哈里法·图米:
在虚拟SDN拓扑迁移期间保持机密性：一种正式方法。国家协调局 2017:453-457
2016
[公元19年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/jar/BaumgartnerBW16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/BaumgartnerBW16
鲍姆加特内,沃尔夫冈·比贝尔,理查德·沃尔丁格:
纪念马克·Stickel。 J.汽车。原因。 56(2):95-98(2016)
2015
[公元41年]
- 看法
  - 电子版@aaai.org
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/aaaiss/CondoravdiRSSW15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aaais/CondoravdiRSSW15
克莱奥·康多拉维迪,凯尔·理查森,维沙尔·锡卡,阿苏曼·苏恩布尔,理查德·沃尔丁格:
数据的自然语言访问：需要常识！ AAAI春季研讨会 2015
2011
[公元40年]
- 看法
  - 电子版@aaai.org
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/aaaiss/WaldingerBCRD11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aaais/WaldingerBCRD11
理查德·沃丁格,丹尼尔·博布罗,克莱奥·康多拉维迪,凯尔·理查森,阿马尔·达斯:
通过英语查询和自动推断访问结构化健康信息。 AAAI春季研讨会：AI与健康传播 2011
[公元39年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/iui/BobrowCRWD11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iui/BobrowCRWD11
丹尼尔·博布罗,克莱奥·康多拉维迪,凯尔·理查森,理查德·沃丁格,阿马尔·达斯:
从结构化数据中推断英语问题的答案。工业联合会 2011:299-302
[公元38年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/semco/RichardsonBCWD11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/semco/RichardsonBCWD11
凯尔·理查森,丹尼尔·博布罗,克莱奥·康多拉维迪,理查德·沃丁格,阿马尔·达斯:
结构化数据的英语访问。公务员制度委员会 2011:13-20

2000 – 2009

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2008
[公元37年]
- 看法
  - 电子版@aaai.org
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/aaaiss/WaldingerS08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aaais/WaldingerS08
理查德·沃尔丁格,杰夫·什拉杰:
回答科学问题：用答案提取和程序附加进行演绎。 AAAI春季研讨会：语义科学知识集成 2008:109-113
2007
[公元36年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/Waldinger07公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/Waldinger07
理查德·沃丁格:
演绎问题的答案发生了什么？ LPAR公司 2007:15-16
2004
[公元35年]
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/ndqa/WaldingerADFHIJMRST04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ndqa/WaldingerADFHIJMRST04
理查德·沃丁格,道格拉斯·E·阿佩尔,詹妮弗·邓根,约翰·弗赖,杰里·霍布斯,大卫·J·以色列,皮特扎维斯,大卫·L·马丁,苏珊·里埃曼,Mark E.Stickel公司,马布里·泰森:
从多种资源中进行演绎问答。问答的新方向 2004:253-262
2003
[公元34年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/生日/WaldingerJD03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/WaldingerJD03
理查德·沃丁格,皮特扎维斯,詹妮弗·邓根:
多智能体问答程序综合。验证：理论与实践 2003:747-761
2002
[公元33年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/semweb/BaclawskiKWK02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/semweb/BaclawskiKWK02
肯尼思·巴克拉夫斯基,Mieczyslaw M.Kokar公司,理查德·沃丁格,保罗·科古特:
语义Web本体的一致性检查。 ISWC公司 2002:454-459
2001
[公元32年]
- 看法
  - 电子版@CEUR-WS.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/semweb/DenkerHMNW01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/semweb/DenkerHMNW01
格利特·丹克尔,杰里·霍布斯,大卫·L·马丁,斯里尼·纳拉亚南,理查德·沃丁格:
在启用DAML的Web上访问信息和服务。 SemWeb（SemWeb） 2001
2000
[公元31年]
- 看法
  - 电子版@aaai.org（存档）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/aaai/ChaudhriSTW00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aaai/ChaudhriSTW00
维奈·K·乔德里,Mark E.Stickel公司,杰罗姆·托梅雷,理查德·沃丁格:
使用先前知识：问题和解决方案。 AAAI/IAAI公司 2000:436-442
[公元30年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/faabs/Waldinger00会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/faabs/Waldinger00网址
理查德·沃丁格:
Web代理进行演绎合作。联邦航空防务局 2000:250-262

1990 – 1999

请参阅常见问题解答

出版物列表中颜色的含义是什么？

1998
[公元29年]
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/krdb/StarrCFW98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/krdb/StarrCFW98
芭芭拉·斯塔尔,维奈·K·乔德里,亚当·法夸尔,理查德·沃丁格:
知识密集型查询处理。 KRDB公司 1998:18.1-18.6
1995
[公元28年]
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/wocfai/MannaPW95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/wocfai/MannaPW95
佐哈尔·曼纳,马西莫·帕尔特里涅利,理查德·沃丁格:
时间计划理论。 WOCFAI公司 1995:253-261
1994
[公元27年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/StickelWLPU94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/StickelWLPU94
Mark E.Stickel公司,理查德·沃丁格,迈克尔·罗瑞,托马斯·普雷斯伯格,伊恩·安德伍德:
子程序库天文软件的演绎组合。 CADE公司 1994:341-355
[公元26年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ictl/McGuireMW94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ictl/McGuireMW94
休·麦圭尔,佐哈尔·曼纳,理查德·沃丁格:
时间逻辑中基于注释的演绎。国际刑事法庭 1994:430-444
1993
【b1】
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - books/daglib/0072438
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/books/daglib/0072438
佐哈尔·曼纳,理查德·沃丁格:
计算机编程的演绎基础——《计算机编程的逻辑基础》的一卷版本。出版商 1993，国际标准图书编号978-0-201-54886-0第I-XIV页，1-717页
1992
[公元18年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/ijseke/WaldingerS92
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/ijseke/WaldingerS92
理查德·沃丁格,Mark E.Stickel公司:
证明基于规则的系统的属性。国际期刊软件。工程知识。工程师。 2(1):121-144(1992)
[公元17年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tse/MannaW92
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tse/MannaW92
佐哈尔·曼纳,理查德·沃丁格:
演绎程序综合基础。 IEEE传输。软件工程。 18(8):674-704(1992)
[公元25年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/MannaW92会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/MannaW92
佐哈尔·曼纳,理查德·沃丁格:
特殊关系规则不完整。 CADE公司 1992:492-506
1991
[公元24年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/生日/MannaSW91
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/MannaSW91
佐哈尔·曼纳,Mark E.Stickel公司,理查德·沃尔丁格:
自动演绎中的单调性。人工和数学计算理论 1991:261-280
【c23】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ewsp/GrosseW91
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ewsp/GrosseW91
Gerd Große公司,理查德·沃丁格:
走向同时行动理论。 EWSP公司 1991:78-87
1990
[公元22年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Waldinger90号机组
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Waldinger90
理查德·沃丁格:
程序综合演绎教程。 CADE公司 1990:684

1980 – 1989

请参阅常见问题解答

出版物列表中颜色的含义是什么？

1988
【c21】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sigmod/QianW88
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sigmod/QianW88
钱晓蕾,理查德·沃丁格:
数据库规范的事务逻辑。 SIGMOD会议 1988:243-250
1987
[公元16年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jar/MannaW87
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/MannaW87
佐哈尔·曼纳,理查德·沃丁格:
如何清除障碍：计划理论。 J.汽车。原因。三(4):343-377(1987)
[j15]
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/scp/MannaW87
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/scp/MannaW87
佐哈尔·曼纳,理查德·沃丁格:
二元搜索范式的起源。科学。计算。程序。 9(1):37-83(1987)
[公元20年]
- 看法
  - 电子版@aaai.org（存档）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/aaai/MannaW87
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aaai/MannaW87
佐哈尔·曼纳,理查德·沃丁格:
强制性LISP程序的演绎合成。 AAAI公司 1987:155-160
1986
[公元14年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jacm/MannaW86
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jacm/MannaW86
佐哈尔·曼纳,理查德·沃丁格:
自动扣除中的特殊关系。 J.ACM公司 33(1):1-59(1986)
[j13]
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - 期刊/软件/MalachiMW86
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/software/MalachiMW86
约纳森·马拉奇,佐哈尔·曼纳,理查德·沃丁格:
Tablog：一个框架中的函数和关系编程。 IEEE软件。三(1):75-76(1986)
[第19条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/MannaW86
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/MannaW86
佐哈尔·曼纳,理查德·沃丁格:
如何清除障碍：情景逻辑中的计划形成。 CADE公司 1986:622-640
[第18条]
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/lics/JonssonMW86
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/JonssonMW86
本特·琼森,佐哈尔·曼纳,理查德·沃丁格:
数据流网络的演绎综合。低收入国家 1986:26-37
[第2页]
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - books/ph/deGrootL86/MalachiMW86书籍
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/books/ph/deGrootL86/MalachiMW86
Yonathan Malachi公司,佐哈尔·曼纳,理查德·沃丁格:
TABLOG：逻辑编程的一种新方法。逻辑程序设计：函数、关系和方程 1986:365-394
1985
[第17条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fsttcs/MannaW85
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fsttcs/MannaW85
佐哈尔·曼纳,理查德·沃丁格:
使用关系匹配进行扣除。 FSTTCS公司 1985:212-224
[第16条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/MannaW85型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/MannaW85
佐哈尔·曼纳,理查德·沃丁格:
自动扣除中的特殊关系。 ICALP公司 1985:413-423
[第15条]
- 看法
  - 电子版@ijcai.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/ijcai/MannaW85
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ijcai/MannaW85
佐哈尔·曼纳,理查德·沃丁格:
二元搜索范式的起源。国际JCAI 1985:222-224
1984
[第14条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lfp/马拉奇MW84
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lfp/MalachiMW84
约纳森·马拉奇,佐哈尔·曼纳,理查德·沃丁格:
TABLOG：演绎式Tableau编程语言。 LISP与函数编程 1984:323-330
1981
[公元12年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/acta/MannaW81
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/acta/MannaW81
佐哈尔·曼纳,理查德·沃丁格:
编程语言的问题特征：一种情境演算方法。信息学报 16:371-426(1981)
[公元11年]
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/scp/Manna81
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/scp/Manna81
佐哈尔·曼纳,理查德·沃丁格:
统一算法的演绎综合。科学。计算。程序。 1(1-2):5-48(1981)
1980
[j10]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/toplas/MannaW80
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/toplas/MannaW80
佐哈尔·曼纳,理查德·沃丁格:
程序综合的演绎方法。 ACM事务处理。程序。语言系统。 2(1):90-121(1980)

1970 – 1979

请参阅常见问题解答

出版物列表中颜色的含义是什么？

1979
[公元9年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tse/MannaW79
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tse/MannaW79
佐哈尔·曼纳,理查德·沃丁格:
综合：梦想-计划。 IEEE传输。软件工程。 5(4):294-328(1979)
[第13条]
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/ijcai/MannaW79
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ijcai/MannaW79
佐哈尔·曼纳,理查德·沃尔丁格:
程序综合的演绎方法。国际JCAI 1979:542-551
1978
[j8]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/cacm/MannaW78
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/cacm/MannaW78
佐哈尔·曼纳,理查德·沃丁格:
有时“有时”比“总是”好吗？（证明程序正确性中的间歇断言）。 Commun公司。ACM公司 21(2):159-172(1978)
[j7]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tse/MannaW78
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tse/MannaW78
佐哈尔·曼纳,理查德·沃丁格:
计算机程序设计的逻辑。 IEEE传输。软件工程。 4(三):199-229(1978)
[第12条]
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/afips/MannaW78
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/afips/MannaW78
佐哈尔·曼纳,理查德·沃尔丁格:
DEDALUS-演绎算法的合成器。 AFIPS全国计算机会议 1978:683-690
[第11条]
- 看法
  - 电子版@acm.org
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/icse/MannaW78
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icse/MannaW78
佐哈尔·曼纳,理查德·沃丁格:
结构改变程序的综合。 ICSE公司 1978:175-187
1977
[第10条]
- 看法
  - 电子版@ijcai.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/ijcai/MannaW77
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ijcai/MannaW77
佐哈尔·曼纳,理查德·沃丁格:
递归程序系统的自动综合。国际JCAI 1977:405-411
【c9】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sigart/MannaW77
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sigart/MannaW77
佐哈尔·曼纳,理查德·沃尔丁格:
递归程序的自动综合。人工智能与编程语言 1977:29-36
1976
【c8】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/afips/SacerdotiFRSWW76
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/afips/SacerdotiFRSWW76
萨尔多蒂伯爵,理查德·菲克斯,勒内·雷博,丹尼尔·萨加洛维奇,理查德·沃丁格,B.迈克尔·威尔伯:
QLISP：一种用于复杂系统交互开发的语言。 AFIPS全国计算机会议 1976:349-356
【c7】
- 看法
  - 电子版@acm.org
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/icse/MannaW76
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icse/MannaW76
佐哈尔·曼纳,理查德·沃丁格:
有时“有时”比“总是”好吗？证明程序正确性的间歇断言。 ICSE公司 1976:32-39
1975
[j6]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/ai/MannaW75
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/ai/MannaW75
佐哈尔·曼纳,理查德·沃丁格:
程序综合中的知识和推理。 Artif公司。智力。 6(2):175-208(1975)
【c6】
- 看法
  - 电子版@ijcai.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/ijcai/WaldingerM75
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ijcai/WaldingerM75
理查德·沃丁格,佐哈尔·曼纳:
程序综合中的知识和推理。国际JCAI 1975:288-295
1974
[j5]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/ai/WaldingerL74
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/ai/WaldingerL74
理查德·沃丁格,卡尔·莱维特:
关于程序的推理。 Artif公司。智力。 5(三):235-316(1974)
【j4】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/cacm/LeeCW74
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/cacm/LeeCW74
理查德·C·T·李,张金良,理查德·沃丁格:
一种改进的程序综合算法及其正确性。 Commun公司。ACM公司 17(4):211-217(1974)
[j3]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sigart/Waldinger 74
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sigart/Waldinger74
理查德·沃尔丁格:
ARPA“自动编程”会议。 SIGART新闻。 44:11(1974)
【c5】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/programm/GreefW74
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/programm/GreifW74
艾琳·格雷夫,理查德·沃丁格:
一种更机械的程序验证方法。规划专题讨论会 1974:109-119
1973
【c4】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/WaldingerL73
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/WaldingerL73
理查德·沃丁格,卡尔·莱维特:
程序推理。 POPL公司 1973:169-182
1972
[注2]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/csur/ElspaLWW72
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/csur/ElspaLWW72
伯纳德·埃尔斯帕,卡尔·莱维特,理查德·沃丁格,亚伯拉罕·瓦克斯曼:
验证程序正确性的技术评估。 ACM计算。Surv公司。 4(2):97-147(1972)
【c3】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/afips/DerksenRW72
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/afips/DerksenRW72
简·A·德克森,约翰·鲁利弗森,理查德·沃丁格:
QA4语言应用于机器人规划。 AFIPS秋季联合计算会议（2） 1972:1181-1192
1971
[j1]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/cacm/MannaW71
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/cacm/MannaW71
佐哈尔·曼纳,理查德·沃丁格:
走向自动程序合成。 Commun公司。ACM公司 14(三):151-165(1971)
【c2】
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/ifip/RulifsonWD71
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ifip/RulifsonWD71
约翰·鲁利弗森,理查德·沃丁格,简·A·德克森:
一种用于编写解决问题程序的语言。 IFIP大会（1） 1971:201-205
[第1页]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 系列/lnm/MannaW71
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/series/lnm/MannaW71
佐哈尔·曼纳,理查德·沃丁格:
走向自动程序合成。算法语言语义专题讨论会 1971:270-310

1960 – 1969

请参阅常见问题解答

出版物列表中颜色的含义是什么？

1969
[c1]
- 看法
  - 电子版@ijcai.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/ijcai/WaldingerL69会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ijcai/WaldingerL69
理查德·沃丁格,理查德·C·T·李:
程序：向自动程序写入迈进的一步。国际JCAI 1969:241-252

合著者索引

请参阅常见问题解答

服务

管理网站设置

为了保护您的隐私，所有依赖浏览器外部API调用的功能都是默认情况下关闭。你需要选择加入，让他们变得活跃。此处的所有设置将在您的web浏览器中存储为cookie。有关更多信息查看我们的F.A.Q。