国际基于逻辑的程序综合与转换研讨会
International Symposium on Logic-based Program Synthesis and Transformation · LOPSTR
类型 S 其他类型S(待核准) 1991 成立
概览
简介
国际基于逻辑的程序综合与转换研讨会（LOPSTR）于1991年在英国曼彻斯特创立，从其名称可知其为以基于逻辑技术的程序综合与程序转换为主题的国际学术研讨会。现有登记资料未载明其宗旨、活动与内部结构。
研究领域
科技与工业
逻辑程序设计
程序综合与程序转换
组织概况
成立地点：英国曼彻斯特 类型：S 其他类型S(待核准)
官网与联系
官网：https://example.org/
地址 / 邮箱 / 电话等完整联系方式
会议活动
暂无会议数据
组织关系
- LINKS_WITH 欧洲编程语言与系统协会
出版物 付费
该组织出版物列表与 PDF 下载