跳到主要内容
高级搜索
浏览
关于
登录
注册
高级搜索
期刊销售
杂志
诉讼
书
信号发生器
会议
人
更多
搜索ACM数字图书馆
搜索
搜索
高级搜索
主页
出版物页面
低收入国家
会议
会议集合
低收入国家
会议
诉讼
即将举行的活动
作者
附属公司
获奖者
更多
会议
低收入国家
LICS:计算机科学中的逻辑
在LICS中搜索
搜索
搜索
主页
会议
低收入国家
文献计量学
出版年份
2012 - 2022
出版物计数
883
可供下载
864
引文计数
4,377
下载次数(累计)
83,731
下载次数(6周)
1,178
下载次数(12个月)
11,929
每篇文章的平均引文数
5
每篇文章的平均下载量
97
即将召开的会议
目前没有结果。
查看所有即将召开的会议
诉讼
最新的
观看次数最多
LICS’22:第37届ACM/IEEE计算机科学逻辑年会论文集
LICS:计算机科学中的逻辑
LICS’21:第36届ACM/IEEE计算机科学逻辑年会论文集
LICS:计算机科学中的逻辑
LICS’19:第34届ACM/IEEE计算机科学逻辑年会论文集
LICS:计算机科学中的逻辑
LICS’20:第35届ACM/IEEE计算机科学逻辑年会论文集
LICS:计算机科学中的逻辑
LICS’18:第33届ACM/IEEE计算机科学逻辑年会论文集
LICS:计算机科学中的逻辑
LICS’16:第31届ACM/IEEE计算机科学逻辑年会论文集
LICS:计算机科学中的逻辑
LICS’17:第32届ACM/IEEE计算机科学逻辑年会论文集
LICS:计算机科学中的逻辑
LICS’20:第35届ACM/IEEE计算机科学逻辑年会论文集
LICS:计算机科学中的逻辑
查看所有程序
主题领域
最常见的附属机构
被引用最多的作者
最近获奖者
查看所有获奖者
最受欢迎
已下载
引用
您的搜索结果下载请求
我们正在准备下载您的搜索结果。。。
文件准备好后,我们会在这里通知您。
立即下载!
您的搜索结果下载请求
您的搜索结果引用文件现已准备就绪。
立即下载!
您的搜索结果下载请求
您的搜索导出查询已过期。
请重试。