会员服务
LOPSTR是一个生动、友好的论坛，可以介绍和讨论正在进行的工作。正式的会议记录只有在研讨会结束后才产生，这样作者才能将这些反馈纳入已发表的论文中。目前，LOPSTR系列的目标是刺激和促进基于逻辑的程序开发方面的国际研究与合作。LOPSTR对任何语言范式中基于逻辑的程序开发都是开放的。官网链接：http://lopstr.webs.upv.es/

精品内容

没有数据了, 换个别的吧!
参考链接
父主题
Springer
软件工程
程序设计语言
微信扫码咨询专知VIP会员
Top