关键字搜索结果关键字：动态逻辑——与关键字搜索查询匹配的新结果（每天更新）。 https://dl.acm.org/action/doSearch？type=advanced&af=R&KeywordRaw=dynamic+逻辑&内容=标准&扩展=全部&目标=默认&排序依据=相关性 计算机协会：关键字搜索查询 计算机协会 英语-美国 http://www.atypon.com/images/atypon_logo_small.gif http://www.atypon.com网站 https://dl.acm.org/doi/abs/10.5555/2227296.2227311？af=R&KeywordRaw=dynamic（动态）+逻辑&内容=标准&扩展=全部&目标=默认&排序依据=相关性 FDIA’09：第三届BCS-IRSG信息访问未来方向会议记录，第89-95页<br/＞ FDIA’09：第三届BCS-IRSG信息访问未来方向会议记录，第89-95页<br/＞ doi:10.5555/2227296.2227311 2009年9月1日T07:00:00Z 基于半结构化数据集的交互式信息检索的多学科方法 89 95 2009年9月1日T07:00:00Z 10.5555/2227296.2227311 https://dl.acm.org/doi/abs/10.5555/2227296.2227311？af=R&KeywordRaw=dynamic（动态）+逻辑&内容=标准&扩展=全部&目标=默认&排序依据=相关性 https://dl.acm.org/doi/abs/10.1093/logcom/14.2.145？af=R&KeywordRaw=dynamic+逻辑&内容=标准&扩展=全部&目标=默认&排序依据=相关性 逻辑与计算杂志，<a href=“https://dl.acm.org/toc/jolc/2004/14/2“>第14卷，第2期，第145-178页，2004年4月<br/＞ 《逻辑与计算杂志》，第14卷，第2期，第145-178页，2004年4月<br/＞ 厕所规范 doi:10.1093/logcom/14.2.145 2004年4月1日T08:00:00Z 马克·艾基尔 逻辑与计算杂志 14 2 145 178 2004年4月1日T08:00:00Z 2004年4月1日T08:00:00Z 10.1093/log.com/14.2.145 https://dl.acm.org/doi/abs/10.1093/logcom/14.2.145？af=R&KeywordRaw=dynamic+logics&content=标准&expand=全部&target=默认&sortBy=相关性