停止战争！

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

对于科学家：

默认搜索操作

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

问别人

M.H.van Emden先生

马滕·范·埃姆登

>主页 >珀森斯

人员信息

附属： 维多利亚大学计算机科学系

其他同名人员

请参阅常见问题解答

为什么有些名字后面跟着一个四位数的数字？

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

2010 – 2019

请参阅常见问题解答

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

2019
[i25]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-1901-10961
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1901-10961
M.H.van Emden先生:
埃及的乘法及其一些分支。 CoRR公司 abs/1901.10961(2019)
2018
【i24】
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-1810-11673
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1810-11673
M.H.van Emden先生:
超越结构化编程。 CoRR公司 abs/1810.11673(2018)
[第23条]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-1812-09411
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1812-09411
M.H.van Emden先生:
通过构造纠正。 CoRR公司 abs/1812.09411(2018)
2015
[i22]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/Emden15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/Emden15
M.H.van Emden先生:
lambda演算和其他演算中的lambda机制。 CoRR公司 abs/1503.00375(2015)
【i21】
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/KellyE15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/KellyE15
菲利普·凯利,M.H.van Emden先生:
对一阶谓词逻辑合成语义的贡献。 CoRR公司 abs/1512.06282(2015)
2014
[公元24年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/scp/Emden14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/scp/Emden14
M.H.van Emden先生:
矩阵代码。科学。计算。程序。 84:3-21(2014)
[i20]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/Emden14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/Emden14
M.H.van Emden先生:
超越Prolog的逻辑编程。 CoRR公司腹肌/1412.3480(2014)
2013
[公元23年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/ai/阿卜杜拉E13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/ai/AbdallahE13
A.奈特·阿卜杜拉,M.H.van Emden先生:
约束传播是信息最大化。 Artif公司。智力。 197:25-38(2013)
2012
[i19]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-1201-5426
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1201-5426
A.奈特·阿卜杜拉,M.H.van Emden先生:
约束传播是信息最大化。 CoRR公司 abs/1201.5426(2012)
[i18]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-1202-0474
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1202-0474
菲利普·凯利,M.H.van Emden先生:
数据库和谓词演算的关系语义。 CoRR公司 abs/1202.0474(2012)
[i17]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-1203-2296
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1203-2296
M.H.van Emden先生:
使用矩阵代码发现算法。 CoRR公司 abs/1203.2296(2012)
2011
[公元22年]
- 看法
  - 电子版@louisiana.edu（开放存取）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - 期刊/rc/Emden11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/rc/Emden11
马滕·范·埃姆登:
从区间算术到区间约束。 Reliab公司。计算。 15(2):144-155(2011)
[i16]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-1109-5416
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1109-5416
马滕·范·埃姆登:
矩阵代码：一种用于验证和程序并行开发的语言。 CoRR公司 abs/1109.5416(2011)
2010
【i15】
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-1002-1422
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1002-1422
马滕·范·埃姆登:
将区间约束集成到逻辑编程中。 CoRR公司 abs/1002.1422(2010)

2000 – 2009

请参阅常见问题解答

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

2008
[第14条]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-0810-4196
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-0810-4196
威廉·埃德蒙森,马滕·范·埃姆登:
标准浮点运算的区间语义。 CoRR公司 abs/0810.4196(2008)
2007
[i13]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-cs-0701141
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-cs-0701141
马滕·范·埃姆登,贝莱德·莫阿:
区间分析的基本定理。 CoRR公司 abs/cs/0701141(2007)
[i12]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-cs-0703003
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-cs-0703003
马滕·范·埃姆登,贝莱德·莫阿,S.C.Somosan公司:
支持间隔输入和输出的函数。 CoRR公司 abs/cs/0703003(2007)
2006
[公元20年]
- 看法
  - 电子版@queensu.ca（开放存取）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/cccg/EmdenM06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cccg/EmdenM06
马滕·范·埃姆登,贝莱德·莫阿:
计算欧几里德。中建集团 2006
[第19条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/iclp/Emden06公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/Emden06
马滕·范·埃姆登:
逻辑程序解释的合成语义学。 ICLP公司 2006:315-329
[i11]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-cs-0602098
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-cs-0602098
马滕·范·埃姆登:
逻辑程序解释的合成语义学。 CoRR公司 abs/cs/0602098(2006)
[i10]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/cor/abs-cs-0602099
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-cs-0602099
H.易卜拉欣,马滕·范·埃姆登:
面向应用关系编程。 CoRR公司 abs/cs/0602099(2006)
[i9]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-cs-0603016
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-cs-0603016
马滕·范·埃姆登,S.C.Somosan公司:
编程范例的面向对象建模。 CoRR公司 abs/cs/0603016(2006)
[i8]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-cs-0606036
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-cs-0606036
马滕·范·埃姆登,贝莱德·莫阿:
计算欧几里德。 CoRR公司 abs/cs/0606036(2006)
[i7]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-cs-0607039
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-cs-0607039
马滕·范·埃姆登:
计算机科学家理论预备课。 CoRR公司 abs/cs/0607039(2006)
2004
[公元21年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/rc/Emden04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/rc/Emden04
马滕·范·埃姆登:
数字在区间记法中的意义。 Reliab公司。计算。 10(1):45-58(2004)
[i6]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/cs-OH-0404034
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/cs-OH-0404034
马滕·范·埃姆登,贝莱德·莫阿:
选择性初始化传播及其在数值约束满足问题中的应用。 CoRR公司反恐精英。俄亥俄州/0404034(2004)
2003
[i5]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/cs-NA-0309018
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/cs-NA-0309018
马滕·范·埃姆登,贝莱德·莫阿:
使用传播解决复杂的算术约束。 CoRR公司反恐精英。NA/0309018(2003)
2002
[第18条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/生日/BruynooghePSE02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/BruynooghePSE02
莫里斯·布吕诺格,路易斯·莫尼兹·佩雷拉,约格·希克曼,马滕·范·埃姆登:
一位科学家作为计算逻辑学家的肖像。计算逻辑：逻辑编程及其以外 2002:1-4
[i4]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/cs-NA-0201015
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/cs-NA-0201015
马滕·范·埃姆登:
数字在区间记法中的意义。 CoRR公司反恐精英。编号：0201015(2002)
[i3]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/cs-NA-0210015
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/cs-NA-021015
马滕·范·埃姆登:
区间算术的新发展及其对浮点标准化的启示。 CoRR公司反恐精英。NA/021015(2002)
2001
[公元20年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jacm/HickeyJE01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jacm/HickeyJE01
蒂莫西·希基,群聚,马滕·范·埃姆登:
区间算术：从原理到实现。 J.ACM公司 48(5):1038-1068(2001)
[i2]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/cs-NA-0102023
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/cs-NA-0102023
马滕·范·埃姆登:
区间I/O的因子表示法。 CoRR公司反恐精英。NA/0102023号(2001)
[i1]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/cor/cs-PL-01006008
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/cs-PL-0106008
马滕·范·埃姆登:
在原子约束系统中通过结构化传播计算函数和关系盒一致性。 CoRR公司反恐精英。PL/0106008(2001)
2000
[公元19年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/rc/HickeyQE00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/rc/HickeyQE00
蒂莫西·希基,哲屈居,马滕·范·埃姆登:
用于隐式定义关系的交互式可视探索的区间约束绘图。 Reliab公司。计算。 6(1):81-92(2000)

1990 – 1999

请参阅常见问题解答

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

1999
[公元18年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/约束/Emden99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/constraints/Emden99
马滕·范·埃姆登:
冗余约束声明性使用的算法能力。制约国际期刊。 4(4):363-381(1999)
[第3页]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - books/sp/99/Emden99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/books/sp/99/Emden99
马滕·范·埃姆登:
数值计算中的逻辑程序设计范式。逻辑程序设计范式 1999:257-276
1998
[第17条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cp/HickeyEW98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cp/HickeyEW98
蒂莫西·希基,马滕·范·埃姆登,胡武（音）:
区间约束和区间算法的统一框架。人物配对关系 1998:250-264
1997
[公元17年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/约束/Emden97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/constraints/Emden97
马滕·范·埃姆登:
CLP方案中的价值约束。制约国际期刊。 2(2):163-183(1997)
[第16条]
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/jfplc/Emden97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/jfplc/Emden97
马滕·范·埃姆登:
作为区间约束和区间算术的通用基础的规范扩展。 JFPLC公司 1997:71-84
1995
[第15条]
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/ChengPE95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/ChengPE95
螳螂H.M.Cheng,小道格拉斯·斯托特·帕克。,马滕·范·埃姆登:
一种将等式理论实现为逻辑程序的方法。 ICLP公司 1995:497-511
1993
[公元16年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/amai/StrooperE93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/amai/StrooperE93
保罗·斯特罗珀,马滕·范·埃姆登:
描述逻辑中的对称结构。安。数学。Artif公司。智力。 8(3-4):301-314(1993)
[公元15年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jlp/LeeE93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jlp/LeeE93
吉米·何曼·李,马滕·范·埃姆登:
CHIP中作为演绎的区间计算。 J.日志。程序。 16(三):255-276(1993)
1992
[公元14年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/Emden92
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/Emden92
马滕·范·埃姆登:
编辑：计算机中的修辞与现代主义。 J.日志。计算。 2(5):551-555(1992)
[j13]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/ngc/ChengHL92
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/ngc/ChengHL92
螳螂H.M.Cheng,R.奈杰尔·霍斯普尔,迈克尔·R·利维,M.H.van Emden先生:
Prolog程序的组合操作语义。新一代。计算。 10(三):315-334(1992)
[公元12年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/stvr/Emden92
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/stvr/Emden92
马滕·范·埃姆登:
代码的结构化检查。柔和。测试。验证可靠性。 2(三):133-153(1992)
[第14条]
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/fgcs/LeeE92
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fgcs/LeeE92
吉米·何曼·李,马滕·范·埃姆登:
使CLP适应浮点运算。 FGCS公司 1992:996-1003
[第13条]
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/fgcs/Emden92
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fgcs/Emden92
马滕·范·埃姆登:
心理工效学是新一代计算机系统的基础。 FGCS公司 1992:1149-1156
1990
[第12条]
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/ChengER90
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/ChengER90
螳螂H.M.Cheng,马滕·范·埃姆登,B.E.理查兹:
论逻辑函数编程的沃伦方法。 ICLP公司 1990:546-560

1980 – 1989

请参阅常见问题解答

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

1988
[第11条]
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/fgcs/ChengEL88
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fgcs/ChengEL88
螳螂H.M.Cheng,马滕·范·埃姆登,吉米·何曼·李:
表格作为逻辑程序的用户界面。 FGCS公司 1988:784-791
[第10条]
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/Emden88公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/Emden88
马滕·范·埃姆登:
多态类型推断的条件答案。 ICLP/SLP公司 1988:590-603
【c9】
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/meta/ChengES88
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/meta/ChengES88网站
螳螂H.M.Cheng,马滕·范·埃姆登,保罗·斯特罗珀:
基于逻辑的程序转换的完整边界集。元 1988:283-297
[第2页]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - books/mk/minker88/EmdenS88
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/books/mk/minker88/EmdenS88
马滕·范·埃姆登,佩特·塞雷迪:
通过程序转换将AND-Control转换为OR-Control。演绎数据库和逻辑编程基础。 1988:699-709
1987
[公元11年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jlp/EmdenY87
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jlp/EmdenY87
马滕·范·埃姆登,庆川圭太郎:
方程式逻辑编程。 J.日志。程序。 4(4):265-288(1987)
【c8】
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/lics/Emden87公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Emden87
马滕·范·埃姆登:
一阶谓词逻辑作为关系和函数编程的通用基础（摘要）。低收入国家 1987:179
1986
[公元10年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jlp/Emden86
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jlp/Emden86
马滕·范·埃姆登:
定量演绎及其不动点理论。 J.日志。程序。三(1):37-53(1986)
[公元9年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/ngc/EmdenOT86
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/ngc/EmdenOT86
马滕·范·埃姆登,Masaru Ohki先生,秋川武内:
作为逻辑编程用户界面的增量查询电子表格。新一代。计算。 4(三):287-304(1986)
1985
[j8]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jlp/EmdenA85
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jlp/EmdenA85
马滕·范·埃姆登,M.A.奈特·阿卜杜拉:
逻辑程序公平计算的自上而下语义。 J.日志。程序。 2(1):67-75(1985)
1984
[j7]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jlp/EmdenL84
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jlp/EmdenL84
马滕·范·埃姆登,约翰·劳埃德:
Prolog II的逻辑重建。 J.日志。程序。 1(2):143-149(1984)
[c7]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/acm/Emden84公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/acm/Emden84
马滕·范·埃姆登:
面向西部第五代计算机系统项目。 ACM年会 1984:298-302
【c6】
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/EmdenL84
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/EmdenL84
马滕·范·埃姆登,约翰·劳埃德:
Prolog II的逻辑重建。 ICLP公司 1984:35-40
【c5】
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/slp/BroughE84
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/slp/BroughE84
德里克·布鲁,马滕·范·埃姆登:
数据流、流程图和逻辑中的“LUCID”式编程。 SLP公司 1984:252-258
[第1页]
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - 书籍/eh/campbell84/Emden84
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/books/eh/campbell84/Emden84
马滕·范·埃姆登:
Prolog程序的解释算法。 Prolog的实现 1984:93-110
1982
[j6]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jacm/AptE82
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jacm/AptE82
Krzysztof R.Apt公司,马滕·范·埃姆登:
对逻辑程序设计理论的贡献。 J.ACM公司 29(三):841-862(1982)
【c4】
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/Emden82公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/Emden82
马滕·范·埃姆登:
一种解释Prolog程序的算法。 ICLP公司 1982:56-64
1981
[j5]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tse/ClarkE81
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tse/ClarkE81
基思·克拉克,马滕·范·埃姆登:
流程图的后果验证。 IEEE传输。软件工程。 7(1):52-60(1981)

1970 – 1979

请参阅常见问题解答

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

1979
【j4】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tse/Emden 79
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tse/Emden79
马滕·范·埃姆登:
使用验证条件编程。 IEEE传输。软件工程。 5(2):148-159(1979)
[c3]
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/adbt/EmdenM79接口
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/adbt/EmdenM79
马滕·范·埃姆登,T.S.E.Maibaum公司:
公式与抽象数据类型规范条款的比较。数据库理论的进展 1979:159-193
1977
【c2】
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/ifip2/Emden77
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ifip2/Emden77
马滕·范·埃姆登:
计算和演绎信息检索。编程概念的形式化描述 1977:421-440
1976
[j3]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jacm/EmdenK76
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jacm/EmdenK76
马滕·范·埃姆登,罗伯特·科瓦尔斯基:
谓词逻辑作为程序设计语言的语义。 J.ACM公司 23(4):733-742(1976)
【c1】
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/icalp/Emden76公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/Emden76
马滕·范·埃姆登:
验证条件作为程序。 ICALP公司 1976:99-119
1970
[注2]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/cacm/Emden70a
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/cacm/Emden70a
M.H.van Emden先生:
提高快速分拣的效率。 Commun公司。ACM公司 13(9):563-567(1970)
[j1]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/cacm/Emden70
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/cacm/Emden70
马滕·范·埃姆登:
算法402：提高快速排序的效率。 Commun公司。ACM公司 13(11):693-694(1970)

合著者索引

请参阅常见问题解答

服务

管理网站设置

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