SciHub
文献互助
期刊查询
一搜即达
科研导航
即时热点
交流社区
登录
注册
发布
文献
求助
首页
我的求助
捐赠本站
已入深夜，您辛苦了！由于当前在线用户较少，发布求助请尽量完整地填写文献信息，科研通机器人24小时在线，伴您度过漫漫科研夜！祝你早点完成任务，早点休息，好梦！
Formalization of Natural Language into PPTL Specification via Neural Machine Translation
计算机科学
程序设计语言
机器翻译
预处理器
规范语言
自然语言
形式验证
正式规范
时态逻辑
人工智能
作者
Chunyi Li,
Jiajun Chang,
Xiaobing Wang,
Liang Zhao,
Wenjie Mao
出处
期刊：
Lecture Notes in Computer Science
日期：2023-01-01
卷期号：: 79-92
标识
DOI：10.1007/978-3-031-29476-1_7
求助该文献
相关文献
科研通AI机器人已完成分析
对不起，本页面需要您登录以后才可查看
进入登录/注册页面
科研通智能强力驱动
Strongly Powered by AbleSci AI
我的文献求助列表
浏览历史
一分钟了解求助规则
|
捐赠本站
|
历史今天
更新
新增更精细的自定义提醒设置
(2026-1-4)
新增
🕒每天60秒读懂世界·精选全球要闻
(2026-1-2)
更新
2025年影响因子查询已上线
(2025-6-18)
新增
PDF的下载单位、IP信息已删除
(2025-6-4)
科研通是完全免费的文献互助平台，具备全网最快的应助速度，最高的求助完成率。 对每一个文献求助，科研通都将尽心尽力，给求助人一个满意的交代。
实时播报
Yinglan
发布了新的
文献求助
10
1秒前
cm
发布了新的
文献求助
10
2秒前
JamesPei
上传了
应助文件
2秒前
llt
完成签到，获得积分
10
4秒前
咪咪
发布了新的
文献求助
10
7秒前
万能图书馆
的
应助
被
呆萌的映易
采纳，获得
10
7秒前
CPD
的
应助
被
cm
采纳，获得
10
12秒前
SUNNYONE
完成签到
，获得积分
10
13秒前
赘婿
的
应助
被
橙子是不是
采纳，获得
10
16秒前
ceeray23
上传了
应助文件
17秒前
科目三
的
应助
被
吴彦祖
采纳，获得
10
17秒前
脆香可丽饼
发布了新的
文献求助
20
19秒前
科研通AI2S
的
应助
被
杨心雨
采纳，获得
10
21秒前
Stella
的
应助
被
默默靖荷
采纳，获得
10
22秒前
mm
发布了新的
文献求助
10
26秒前
FashionBoy
的
应助
被
kakafan
采纳，获得
10
26秒前
Akim
的
应助
被
吴小苏
采纳，获得
10
27秒前
科研通管家
关闭了
Olivia
的
文献求助
27秒前
Lucas
的
应助
被
科研通管家
采纳，获得
10
28秒前
FashionBoy
的
应助
被
科研通管家
采纳，获得
10
28秒前
万能图书馆
的
应助
被
科研通管家
采纳，获得
10
28秒前
在水一方
的
应助
被
科研通管家
采纳，获得
10
28秒前
GingerF
的
应助
被
科研通管家
采纳，获得
60
28秒前
科目三
的
应助
被
tsuki
采纳，获得
10
29秒前
顾矜
的
应助
被
CEN
采纳，获得
10
33秒前
FashionBoy
上传了
应助文件
34秒前
Lucas
的
应助
被
mm
采纳，获得
10
35秒前
十七
完成签到
，获得积分
10
35秒前
zxcvvbb1001
完成签到
，获得积分
10
37秒前
缓慢听枫
上传了
应助文件
39秒前
kakafan
发布了新的
文献求助
10
40秒前
务实擎汉
完成签到，获得积分
10
43秒前
yara
完成签到
，获得积分
10
43秒前
bkagyin
的
应助
被
踌躇满志
采纳，获得
10
44秒前
默默靖荷
完成签到
，获得积分
20
44秒前
傅姐
完成签到
，获得积分
10
47秒前
ZuoyuHuang
完成签到，获得积分
10
49秒前
小怪兽不吃人
发布了新的
文献求助
10
52秒前
科目三
上传了
应助文件
53秒前
NexusExplorer
的
应助
被
王学生
采纳，获得
10
53秒前
高分求助中
(应助此贴封号)【重要！！请各用户(尤其是新用户)详细阅读】【科研通的精品贴汇总】
10000
Kinesiophobia : a new view of chronic pain behavior
2000
Research for Social Workers
1000
Mastering New Drug Applications: A Step-by-Step Guide (Mastering the FDA Approval Process Book 1)
800
The Social Psychology of Citizenship
600
Signals, Systems, and Signal Processing
510
Discrete-Time Signals and Systems
510
热门求助领域
（近24小时）
化学
材料科学
生物
医学
工程类
计算机科学
有机化学
物理
生物化学
纳米技术
复合材料
内科学
化学工程
人工智能
催化作用
遗传学
数学
基因
量子力学
物理化学
热门帖子
关注
科研通微信公众号，转发送积分
5914264
求助须知：如何正确求助？哪些是违规求助？
6846370
关于积分的说明
15791229
捐赠科研通
5039465
什么是DOI，文献DOI怎么找？
2712746
邀请新用户注册赠送积分活动
1663524
关于科研通互助平台的介绍
1604621
今日热心研友
eric888
630
寻道图强
8
200
GingerF
5
160
缓慢听枫
17
20
CPD
7
50
Liz
5
30
Alma
4
30
Marciu33
4
20
无极微光
2
20
大瑶
2
20
Mic
40
loii
30
niNe3YUE
20
BowieHuang
2
xh
20
Eden
20
求助人员
20
玄易
20
Stella
20
乐空思
20
注：热心度 = 本日应助数 + 本日被采纳获取积分÷10
PDF的下载单位、IP信息已删除
(2025-6-4)
eric888
寻道图强
GingerF
缓慢听枫
CPD
Liz
Alma
Marciu33
无极微光
大瑶
Mic
loii
niNe3YUE
BowieHuang
xh
Eden
求助人员
玄易
Stella
乐空思
皖公网安备34019202002308
