停止战争！

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

对于科学家：

默认搜索操作

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

问别人

迈克尔·麦克罗比

>主页 >珀森斯

人员信息

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

2000 – 2009

请参阅常见问题解答

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

2006
【c6】
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/hpc/CatlettAA06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/hpc/CatettetAA06
查理·卡特利特，威廉·E·奥尔科克，菲尔·安德鲁斯，露丝·A·艾特，雷·贝尔，娜塔莎·巴拉克，布莱恩·班尼斯特，Trish Barker公司，马克·巴特尔，彼得·贝克曼，弗朗辛·伯曼，加里·贝尔托林，阿兰·布拉特基，负责人杰伊-博伊瑟，巴图姆，莎朗·布鲁内特，朱利安·邦恩，米歇尔·巴特勒，大卫·卡弗，科布，考克里尔，彼得·库瓦雷斯，梅塔尔·达汉，戴安娜·迪尔，汤姆·邓宁，伊恩·福斯特，凯利·P·盖瑟，丹尼斯·甘农，塞巴斯蒂安·戈斯根，迈克尔·格罗布，大卫·L·哈特，马特·海因策尔，克里斯·亨佩尔，温迪·亨图恩，约瑟夫·安斯利，克里斯托弗·乔丹，伊凡·贾德森，安克·卡姆拉思，尼古拉斯·T·卡诺尼斯，卡尔·凯塞尔曼，帕特里夏·A·科瓦奇，莱克斯巷，斯科特·A·拉思罗普，迈克尔·莱文，大卫·利夫卡，李黎明，米伦·利夫尼，富豪阁楼，多鲁·马库苏，吉姆·马斯特勒，斯图亚特·马丁，D.斯科特·麦考莱，约翰·迈吉，劳拉·麦金尼斯，迈克尔·麦克罗比，保罗·梅西纳，里根·W·摩尔，理查德·李·摩尔，约翰·鲍尔·纳瓦罗，杰夫·尼科尔斯，迈克尔·帕普卡，罗布·彭宁顿，格雷格·派克，吉姆·普尔，拉古拉玛·雷迪，丹尼尔·里德，托尼·里莫夫斯基，埃里克·罗伯茨，拉尔夫·罗斯基斯，Sergiu Sanielevici公司，J.雷·斯科特，阿努拉·尚卡尔，马克·谢登，迈克·肖尔曼，德里克·西梅尔，阿贝·辛格，戴恩·斯科，沙瓦·斯莫伦，华伦史密斯，卡罗尔·X·宋，里克·L·史蒂文斯，克雷格·A·斯图尔特，罗伯特·B·斯托克，内森·斯通，约翰·汤斯，托米斯拉夫·乌尔本，迈克·维尔迪比尔，爱德华·沃克，冯·韦尔奇，南希·威尔金森-迪尔，罗伊·威廉姆斯，琳达·温克勒，兰昭（Lan Zhao），安·齐默尔曼:
TeraGrid：分析组织、系统架构和支持新类型应用程序的中间件。高性能计算研讨会 2006:225-249

1990 – 1999

请参阅常见问题解答

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

1998
【c5】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/hpdc/McRobbieMAGPRWW98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/hpdc/McRobbieMAGPRWW98
迈克尔·麦克罗比，唐纳德·麦克马伦，K·H·亚当斯，丹尼斯·甘农，道格拉斯·皮尔逊，R.艾伦·罗伯，史蒂文·华莱士，詹姆斯·威廉姆斯:
全球高性能网络：连接vNBS和亚太研究和教育应用高级网络。高压直流电 1998:252-259
1996
[电子1]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/1996
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/1996
迈克尔·麦克罗比，约翰·斯莱尼:
自动扣除——CADE-13，第13届自动扣除国际会议，美国新泽西州新不伦瑞克，1996年7月30日至8月3日，会议记录。计算机科学课堂讲稿1104,施普林格 1996，国际标准图书编号3-540-61511-3 [目录]
1995
【c4】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tableaux/MeyerMB95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tableaux/MeyerMB95
罗伯特·梅耶，迈克尔·麦克罗比，贝尔那普:
线性分析表。 TABLEAUX公司 1995:278-293
1991
[j5]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/aai/McRobbieS91
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/aai/McRobbieS91
迈克尔·麦克罗比，约格·希克曼:
人工智能：观点和预测。应用。Artif公司。智力。 5(2):187-207(1991)
【j4】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jar/McRobbie91
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/McRobbie91
迈克尔·麦克罗比:
自动推理和非经典逻辑：导论。 J.汽车。原因。 7(4):447-451(1991)
[j3]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/jar/ThistlewaiteM91
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/ThistlewaiteM91
保罗·B·蒂斯特莱特，迈克尔·麦克罗比:
探讨难的非经典问题。 J.汽车。原因。 7(4):635-637(1991)

1980 – 1989

请参阅常见问题解答

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

1988
【b1】
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - books/daglib/0070252
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/books/daglib/0070252
保罗·B·Thistlewaite，迈克尔·麦克罗比，罗伯特·梅耶:
非经典逻辑中的自动理论证明。理论计算机科学研究笔记，皮特曼 1988，国际标准图书编号978-0-273-08781-6，第1-154页
[注2]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/aicom/McRobbieS88
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/aicom/McRobbieS88
迈克尔·麦克罗比，约格·希克曼:
人工智能：观点和预测。 AI通讯。 1(4):16-29(1988)
【c3】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ausai/GirleM88
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ausai/GirleM88
罗德里克·贾尔，迈克尔·麦克罗比:
探索认识迷宫：知识表征形式理论的新方向。澳大利亚人工智能联合会议 1988:156-176
【c2】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/McRobbieMT88
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/McRobbieMT88
迈克尔·麦克罗比，罗伯特·梅耶，保罗·B·蒂斯特莱特:
非标准逻辑的高效“基于知识”的自动定理证明。学员 1988:197-217年
1986
【c1】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/ThistlewaiteMM86
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/ThistlewaiteMM86
保罗·B·蒂斯特莱特，迈克尔·麦克罗比，罗伯特·梅耶:
克里普克自动定理证明系统。 CADE公司 1986:705-706

1970 – 1979

请参阅常见问题解答

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

1979
[j1]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/mlq/McRobbieM79
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/mlq/McRobbieM79
迈克尔·麦克罗比，罗伯特·梅耶:
关于相关表格系统中切入点可容许性的注记。数学。日志。问：。 25(32):511-512(1979)

合著者索引

请参阅常见问题解答

服务

管理网站设置

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