计算与演绎形式结构国际会议
International Conference on Formal Structures for Computation and Deduction · FSCD
类型 S 其他类型S(待核准) 2016 成立
概览
简介
计算与演绎形式结构国际会议（FSCD）成立于2016年，从其名称可知其为以计算与演绎的形式结构为主题的国际学术会议。现有登记资料未载明其成立地点、宗旨、活动与内部结构。
研究领域
科技与工业
计算理论
形式化演绎与证明
组织概况
类型：S 其他类型S(待核准)
官网与联系
官网：https://example.org/
地址 / 邮箱 / 电话等完整联系方式
出版物
暂无出版物数据
会议活动
暂无会议数据
组织关系
暂无关系数据