跳到主要内容
高级搜索
浏览
关于
登录
注册
高级搜索
期刊销售
杂志
诉讼
书
信号发生器
会议
人
更多
搜索ACM数字图书馆
搜索
搜索
搜索结果
搜索
搜索
搜索
高级搜索
应用的筛选器
计算方法
逻辑程序设计理论与实践
拆除过滤器
全部清除
人
机构
卡拉布里亚大学
(15)
马德里康普顿斯大学
(11)
KU鲁汶
(11)
MITRE公司
(10)
维也纳科技大学
(10)
新墨西州州立大学
(5)
阿姆斯特丹大学
(5)
比萨大学
(5)
阿尔托大学
(4)
德克萨斯大学奥斯汀分校
(4)
阿尔伯塔大学
(4)
博洛尼亚大学
(4)
肯塔基大学
(4)
德国波茨坦大学
(4)
美国普埃布拉大学
(4)
布鲁塞尔Vrije大学
(4)
亚利桑那州立大学
(3)
威尼斯Ca’Foscari大学
(3)
那不勒斯大学费德里科二世
(3)
伦敦帝国理工学院
（2）
出版日期
更改此筛选器后，页面将自动刷新
引文输出
挑选出来的
所有结果
选择引文格式
BibTeX公司
尾注
ACM参考
请先下载或关闭以前的搜索结果导出，然后再开始新的批量导出。
预览不可用。
单击下载，
状态对话框
将打开以启动导出过程。
该过程可能需要
几分钟后
但一旦完成，一个文件将可以从您的浏览器下载。
您可以在导出过程中继续浏览DL。
下载
下载引文
复制引文
280
结果
用于：
[
发布于
：逻辑程序设计理论与实践]
和
[
2012年CCS
：计算方法]
编辑搜索
保存搜索
保存搜索失败，请稍后重试
搜索已保存
（我保存的搜索）
保存此搜索
求你了
登录
以保存搜索并接收与搜索条件匹配的新内容的通知。
搜索ACM全文集（732677条记录）
|
将搜索范围扩大到ACM计算机文献指南（3677870条记录）
人
正在显示
1 - 20
属于
280个结果
过滤器
每页：
10
20
50
排序依据：
选择
关联
最新发布时间
发布次数最多
名字A-Z
给定名称Z-A
姓氏A-Z
姓氏Z-A
正在显示
1 - 20
属于
280位作者
苗条的阿卜杜纳德
德国国际大学
马可·阿尔贝蒂
费拉拉大学
约塞·朱利奥·阿尔弗雷斯
里斯本诺瓦大学
杰苏·曼努埃尔·阿曼德罗斯-吉姆·内兹
阿尔梅里亚大学
M.阿尔普特
巴伦西亚理工大学
作者的电子邮件
马里奥·阿尔维亚诺
卡拉布里亚大学
詹姆斯·安德鲁斯
西部大学
格里戈里斯·安东尼奥
哈德斯菲尔德大学
安德鲁·W·阿佩尔
普林斯顿大学
作者的电子邮件
Krzysztof R公寓
阿姆斯特丹数学与计算机科学中心
马塞洛竞技场
智利天主教大学
何塞·阿拉佐拉
普埃布拉有功自治大学
约瑟夫·巴伯
亚利桑那州立大学
罗伯托·巴格纳拉
巴尔马大学
马塞洛·巴尔杜奇尼
德雷塞尔大学
奇塔·兰扬·巴拉尔
亚利桑那州立大学
萨布丽娜·Baselice
那不勒斯大学费德里科二世
安东尼奥·贝塞拉·特隆
阿尔梅里亚大学
蒂姆·伯纳斯-李
麻省理工学院
E.贝尔蒂诺
普渡大学
作者的电子邮件
1
2
三
4
5
6
7
您的搜索结果下载请求
我们正在准备下载您的搜索结果。。。
文件准备好后，我们会在这里通知您。
立即下载！
您的搜索结果下载请求
您的搜索结果引用文件现已准备就绪。
立即下载！
您的搜索结果下载请求
您的搜索导出查询已过期。
请重试。
