成为VIP会员查看完整内容
VIP会员码认证
首页
主题
发现
会员
服务
注册
·
登录
形式化方法
关注
2
综合
百科
VIP
热门
动态
论文
精华
《基于形式化方法的多机器人系统规划与规范》2022博士论文
专知会员服务
38+阅读 · 2022年11月22日
【经典书】计算机科学中的逻辑学:对系统的建模和推理,443页pdf
专知会员服务
38+阅读 · 2021年4月14日
参考链接
提示
微信扫码
咨询专知VIP会员与技术项目合作
(加微信请备注: "专知")
微信扫码咨询专知VIP会员
Top