SciHub
文献互助
期刊查询
一搜即达
科研导航
即时热点
交流社区
登录
注册
发布
文献
求助
首页
我的求助
捐赠本站
已入深夜，您辛苦了！由于当前在线用户较少，发布求助请尽量完整地填写文献信息，科研通机器人24小时在线，伴您度过漫漫科研夜！祝你早点完成任务，早点休息，好梦！
A Reader's Guide to Classic Papers in Formal Semantics
形式语义学（语言学）
计算机科学
语义学（计算机科学）
程序设计语言
出处
期刊：Springer International Publishing eBooks
[Springer Nature]
日期：2022-01-01
链接
springer.com
doi.org
标识
DOI：10.1007/978-3-030-85308-2
求助该文献
相关文献
科研通AI机器人已完成分析
对不起，本页面需要您登录以后才可查看
进入登录/注册页面
科研通智能强力驱动
Strongly Powered by AbleSci AI
我的文献求助列表
浏览历史
一分钟了解求助规则
|
捐赠本站
|
历史今天
更新
⚡
2026年影响因子、分区
已更新！
(2026-6-17)
更新
📰 新增『新锐期刊分区』
(2026-3-24)
更新
💬 新增更精细的自定义提醒设置
(2026-1-4)
新增
🕒 每天60秒读懂世界·精选全球要闻
(2026-1-2)
新增
PDF的下载单位、IP信息已删除
(2025-6-4)
科研通是完全免费的文献互助平台，具备全网最快的应助速度，最高的求助完成率。 对每一个文献求助，科研通都将尽心尽力，给求助人一个满意的交代。
实时播报
风中的天蓝
完成签到
，获得积分
10
刚刚
默默友儿
发布了新的
文献求助
10
刚刚
酷波er
的
应助
被
呼呼呼
采纳，获得
10
1秒前
WSYang
完成签到，获得积分
0
2秒前
科研通AI6.3
上传了
应助文件
3秒前
思源
上传了
应助文件
4秒前
科研通AI6.4
的
应助
被
紧张的眼睛
采纳，获得
10
5秒前
李文
完成签到
，获得积分
10
5秒前
Orange
的
应助
被
fzam
采纳，获得
10
6秒前
shippou
完成签到
，获得积分
10
7秒前
充电宝
的
应助
被
小亮哈哈
采纳，获得
10
9秒前
桐桐
完成签到，获得积分
10
9秒前
默默友儿
完成签到，获得积分
10
9秒前
任性海冬
完成签到，获得积分
10
9秒前
陈一
发布了新的
文献求助
10
10秒前
ccalvintan
完成签到，获得积分
10
12秒前
Cinderella
完成签到
，获得积分
10
14秒前
陈一
完成签到
，获得积分
10
17秒前
好货分享
关闭了
好货分享
的
文献求助
17秒前
香蕉觅云
上传了
应助文件
18秒前
李爱国
上传了
应助文件
19秒前
呓语
完成签到
，获得积分
10
19秒前
科研通AI6.4
上传了
应助文件
19秒前
vivi
完成签到，获得积分
10
19秒前
111111
驳回了
走四方
的
应助
20秒前
jjdeng
发布了新的
文献求助
10
23秒前
充电宝
上传了
应助文件
23秒前
哒丝萌德
发布了新的
文献求助
10
23秒前
千里眼
发布了新的
文献求助
10
24秒前
萤照夜清
发布了新的
文献求助
10
24秒前
小亮哈哈
发布了新的
文献求助
10
27秒前
全没了
的
应助
被
小东西725
采纳，获得
10
28秒前
科研通AI6.3
上传了
应助文件
30秒前
酸奶鱼鱼
完成签到
，获得积分
10
32秒前
英姑
上传了
应助文件
33秒前
Alpha
完成签到
，获得积分
10
35秒前
ccc
发布了新的
文献求助
20
36秒前
科研通管家
关闭了
Iven
的
文献求助
36秒前
科研通管家
关闭了
科研小菜
的
文献求助
36秒前
科研通管家
关闭了
科研小菜
的
文献求助
36秒前
高分求助中
Principles of Economics, 11th Edition
10000
University Physics with Modern Physics, 16th edition
10000
(应助此贴封号)【重要！！请各用户(尤其是新用户)详细阅读】【科研通的精品贴汇总】
10000
Environmental Leverage in Times of Climate Crisis: Product Standards, Carbon Border Measures and Preferential Trade Agreements
1000
Matrix Methods in Data Mining and Pattern Recognition
510
Social Skills Improvement System-Rating Scales--Chinese Version
500
Dynamische Polarisation von H-1 und B-11 in (CH-3)-3NBH-3
500
热门求助领域
（近24小时）
化学
材料科学
医学
生物
纳米技术
工程类
有机化学
化学工程
生物化学
计算机科学
内科学
物理
复合材料
催化作用
细胞生物学
无机化学
光电子学
物理化学
电极
基因
热门帖子
关注
科研通微信公众号，转发送积分
7221770
求助须知：如何正确求助？哪些是违规求助？
8851315
关于积分的说明
18677763
捐赠科研通
6880223
什么是DOI，文献DOI怎么找？
3187229
关于科研通互助平台的介绍
2351371
邀请新用户注册赠送积分活动
2161448
今日热心研友
无极微光
368
5960
cdercder
400
3880
Copyright
232
3940
伶俐妙海
276
2210
潇洒的惋清
235
2130
yjh123
188
2310
phdbio
107
2380
OK
3090
Nexus
86
1980
Nole
98
1440
pluto
74
1250
huang
113
750
arniu2008
59
1250
初景
66
1130
善良羿
105
680
sagitar
71
870
Criminology34
54
900
kimyb
68
750
Kao
1400
走四方
54
710
注：热心度 = 本日应助数 + 本日被采纳获取积分÷10
PDF的下载单位、IP信息已删除
(2025-6-4)
无极微光
cdercder
Copyright
伶俐妙海
潇洒的惋清
yjh123
phdbio
OK
Nexus
Nole
pluto
huang
arniu2008
初景
善良羿
sagitar
Criminology34
kimyb
Kao
走四方
皖公网安备34019202002308
