跳到主要内容
高级搜索
浏览
关于
登录
注册
高级搜索
期刊销售
杂志
诉讼
书
信号发生器
会议
人员
更多
搜索ACM数字图书馆
搜索
搜索
搜索结果
搜索
搜索
搜索
高级搜索
应用的筛选器
逻辑程序设计理论与实践
拆下过滤器
全部清除
人员
机构
卡拉布里亚大学
(18)
马德里康普顿斯大学
(17)
维也纳科技大学
(15)
KU鲁汶
(13)
MITRE公司
(10)
波尔图大学
(9)
马德里理工大学
(7)
昆士兰大学
(7)
德国波茨坦大学
(7)
阿姆斯特丹大学
(6)
墨尔本大学
(6)
乌迪内大学
(6)
莫纳什大学
(5)
新墨西州州立大学
(5)
热那亚大学
(5)
肯塔基大学
(5)
亚利桑那州立大学
(4)
德克萨斯大学奥斯汀分校
(4)
乌尔姆大学
(4)
巴尔马大学
(4)
出版日期
更改此筛选器后,页面将自动刷新
引文输出
挑选出来的
所有结果
选择引文格式
BibTeX公司
尾注
ACM参考
在开始新的批量导出之前,请先下载或关闭以前的搜索结果导出。
预览不可用。
单击下载,
状态对话框
将打开以启动导出过程。
该过程可能需要
几分钟后
但一旦完成,一个文件将可以从您的浏览器下载。
您可以在导出过程中继续浏览DL。
下载
下载引文
复制引文
497
结果
用于:
发布于
逻辑程序设计理论与实践
编辑搜索
保存搜索
保存搜索失败,请稍后重试
搜索已保存
(我保存的搜索)
保存此搜索
求你了
登录
以保存搜索并接收与搜索条件匹配的新内容的通知。
搜索了ACM全文集(742572条记录)
|
将搜索范围扩大到ACM计算机文献指南(3702903条记录)
人员
显示
1 - 20
属于
497个结果
过滤器
每页:
10
20
50
排序依据:
选择
相关性
最新发布时间
发布次数最多
名字A-Z
名字Z-A
姓氏A-Z
姓氏Z-A
显示
1 - 20
属于
497位作者
苗条的阿卜杜纳德
德国国际大学
萨尔瓦多·阿布鲁
巴黎1潘森索邦大学
作者的电子邮件
埃尔维拉·阿尔伯特
马德里康普顿斯大学
马可·阿尔贝蒂
费拉拉大学
约塞·朱利奥·阿尔弗雷斯
里斯本诺瓦大学
杰苏·曼努埃尔·阿曼德罗斯-吉姆·内兹
阿尔梅里亚大学
M.Alpunte公司
巴伦西亚理工大学
作者的电子邮件
马里奥·阿尔维亚诺
卡拉布里亚大学
吉安卢卡·阿马托
基埃蒂和佩斯卡拉的G.d’Annunzio大学
作者的电子邮件
詹姆斯·H·安德鲁斯
西部大学
格里戈里斯·安东尼奥
哈德斯菲尔德大学
安德鲁·W·阿佩尔
普林斯顿大学
作者的电子邮件
社交网站
逆戟鲸
github
Krzysztof R公寓
阿姆斯特丹数学与计算机科学中心
米盖尔·阿雷亚斯
波尔图大学
马塞洛竞技场
智利天主教大学
普里竞技场
马德里康普顿斯大学
普里阿里纳斯-桑奇
马德里康普顿斯大学
法伊兹·阿尔尼
何塞·阿拉佐拉
普埃布拉有功自治大学
约瑟夫·巴伯
亚利桑那州立大学
1
2
三
4
5
6
7
您的搜索结果下载请求
我们正在准备下载您的搜索结果。。。
文件准备好后,我们会在这里通知您。
立即下载!
您的搜索结果下载请求
您的搜索结果引用文件现已准备就绪。
立即下载!
您的搜索结果下载请求
您的搜索导出查询已过期。
请重试。