秋分
SciHub
文献互助
期刊查询
一搜即达
科研导航
即时热点
交流社区
登录
注册
发布
文献
求助
首页
我的求助
捐赠本站
亲爱的研友该休息了！由于当前在线用户较少，发布求助请尽量完整地填写文献信息，科研通机器人24小时在线，伴您度过漫漫科研夜！身体可是革命的本钱，早点休息，好梦！
Formal Methods Meet Machine Learning (F3ML)
计算机科学
人工智能
程序设计语言
软件工程
作者
Kim G. Larsen,
Axel Legay,
Gerrit Nolte,
Maximilian Schlüter,
Mariëlle Stoelinga,
Bernhard Steffen
出处
期刊：
Lecture Notes in Computer Science
[Springer Science+Business Media]
日期：2022-01-01
卷期号：: 393-405
被引量：12
链接
utwente.nl
doi.org
标识
DOI：10.1007/978-3-031-19759-8_24
求助该文献
最长约 10秒，即可获得该文献文件
相关文献
科研通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
2秒前
Hello
的
应助
被
俏皮的曼安
采纳，获得
10
3秒前
领导范儿
上传了
应助文件
3秒前
科研通AI6.2
上传了
应助文件
4秒前
着急的纹
发布了新的
文献求助
10
7秒前
读书的时候
发布了新的
文献求助
10
13秒前
科研通AI6.2
的
应助
被
卿亦佳人
采纳，获得
10
16秒前
欢喜的晓槐
完成签到，获得积分
10
22秒前
淡然雅彤
完成签到，获得积分
10
28秒前
科研通AI6.2
上传了
应助文件
32秒前
Nichols
完成签到，获得积分
10
36秒前
科研通AI6.2
的
应助
被
卿亦佳人
采纳，获得
10
36秒前
卿亦佳人
发布了新的
文献求助
10
43秒前
科研通AI6.2
上传了
应助文件
45秒前
卿亦佳人
发布了新的
文献求助
10
54秒前
科目三
上传了
应助文件
1分钟前
顺利水桃
完成签到，获得积分
10
1分钟前
开朗曼雁
发布了新的
文献求助
10
1分钟前
Hello
的
应助
被
kekekekekeke
采纳，获得
10
1分钟前
questions
关闭了
questions
的
文献求助
1分钟前
碧蓝问玉
完成签到，获得积分
10
1分钟前
科研通AI6.4
的
应助
被
卿亦佳人
采纳，获得
10
1分钟前
Jasper
上传了
应助文件
1分钟前
Kao
的
应助
被
科研通管家
采纳，获得
10
1分钟前
Freya1528
的
应助
被
科研通管家
采纳，获得
30
1分钟前
香蕉觅云
上传了
应助文件
1分钟前
Kao
的
应助
被
科研通管家
采纳，获得
10
1分钟前
可爱的函函
的
应助
被
着急的纹
采纳，获得
10
1分钟前
woyufeng7
发布了新的
文献求助
10
1分钟前
questions
发布了新的
文献求助
10
1分钟前
卿亦佳人
发布了新的
文献求助
10
1分钟前
立夏
关闭了
立夏
的
文献求助
1分钟前
科研通AI6.2
上传了
应助文件
1分钟前
李健的粉丝团团长
的
应助
被
woyufeng7
采纳，获得
10
1分钟前
科研通AI6.4
上传了
应助文件
1分钟前
Nancy
完成签到，获得积分
10
1分钟前
卿亦佳人
发布了新的
文献求助
10
1分钟前
亚高山暗针叶林
发布了新的
文献求助
10
1分钟前
害羞的又菡
完成签到，获得积分
10
1分钟前
Hello
上传了
应助文件
1分钟前
高分求助中
(应助此贴封号)【重要！！请各用户(尤其是新用户)详细阅读】【科研通的精品贴汇总】
10000
Nine new races of Peronospora manshurica found on soybeans in the Midwest
1000
Essentials of Carbohydrate Chemistry and Biochemistry, 4th Edition
600
Organizational Behavior
510
Management and the Arts
510
Matrix Methods in Data Mining and Pattern Recognition Second Edition
510
Eudora Welty and Modern Media
500
热门求助领域
（近24小时）
化学
材料科学
医学
生物
纳米技术
计算机科学
化学工程
工程类
有机化学
物理
复合材料
生物化学
内科学
细胞生物学
基因
遗传学
免疫学
冶金
光电子学
癌症研究
热门帖子
关注
科研通微信公众号，转发送积分
7772461
求助须知：如何正确求助？哪些是违规求助？
9314756
关于积分的说明
20339846
捐赠科研通
7357841
什么是DOI，文献DOI怎么找？
3316947
关于科研通互助平台的介绍
2465475
邀请新用户注册赠送积分活动
2331952
今日热心研友
Criminology34
69
190
秋风
5
470
Nole
15
300
null
29
100
Ali
19
120
GingerF
9
200
斯文的白玉
17
70
Lo
13
110
罗Eason
210
OK
1
200
Kao
200
无极微光
3
140
cdercder
160
Freya1528
140
学术文献互助
1
100
嘉心糖
100
今夕何夕
100
Rita
10
CRUSADER
100
12Nightz
9
注：热心度 = 本日应助数 + 本日被采纳获取积分÷10
PDF的下载单位、IP信息已删除
(2025-6-4)
Criminology34
秋风
Nole
null
Ali
GingerF
斯文的白玉
Lo
罗Eason
OK
Kao
无极微光
cdercder
Freya1528
学术文献互助
嘉心糖
今夕何夕
Rita
CRUSADER
12Nightz
皖公网安备34019202002308
