成为VIP会员查看完整内容
VIP会员码认证
首页
主题
发现
会员
服务
注册
·
登录
LOPSTR
关注
0
LOPSTR是一个生动、友好的论坛,可以介绍和讨论正在进行的工作。正式的会议记录只有在研讨会结束后才产生,这样作者才能将这些反馈纳入已发表的论文中。目前,LOPSTR系列的目标是刺激和促进基于逻辑的程序开发方面的国际研究与合作。LOPSTR对任何语言范式中基于逻辑的程序开发都是开放的。官网链接:
http://lopstr.webs.upv.es/ a>
综合
百科
VIP
热门
动态
论文
精华
暂无数据
参考链接
父主题
Springer
软件工程
程序设计语言
提示
微信扫码
咨询专知VIP会员与技术项目合作
(加微信请备注: "专知")
微信扫码咨询专知VIP会员
Top