软件全称: 算法形式化智能辅助系统
软件简称:
版本号: V1.0
著作权人(国籍): 江西师范大学:中国
登记号: 2017SR543325
分类号: 10900-6200 / 其他 - 软件业
版权所有 北京九蚂蚁科技有限公司 京ICP备18044873号-2 京公安网备11011402012021号