| 标题 |
 书籍（章节） Formalization of Natural Language into PPTL Specification via Neural Machine Translation 通过神经机器翻译将自然语言形式化为PPTL规范
相关领域
计算机科学
程序设计语言
机器翻译
预处理器
规范语言
自然语言
形式验证
正式规范
时态逻辑
人工智能
|
| 网址 | |
| DOI | |
| 其它 |
期刊：Lecture notes in computer science 作者：Chunyi Li; Jiajun Chang; Xiaobing Wang; Liang Zhao; Wenjie Mao 出版日期：2023-01-01 |
| 求助人 | |
| 下载 | 求助已完成，仅限求助人下载。 |
|
温馨提示：该文献已被科研通 学术中心 收录，前往查看
科研通『学术中心』是文献索引库，收集文献的基本信息（如标题、摘要、期刊、作者、被引量等），不提供下载功能。如需下载文献全文，请通过文献求助获取。
|
cocolu
毛豆
丰知然
卡卡
模糊中正
VDC
ceeray23
彭于彦祖
36456657
sutharsons
iNk
十七
duanhuiyuan
方羽
yar
无名老大
杳鸢
不配.
嗯哼
tuanheqi
皖公网安备34019202002308
