×

找到3个软件包(结果1-3)

Mtac公司

16篇文献引用(2013–2021)
软件作者: Ziliani,贝塔;德里克·德雷尔(Derek Dreyer);Krishnaswami,Neelakantan R。;阿列克桑达尔·纳内夫斯基;维克托·瓦菲亚迪斯
相关软件: Coq;阿格达;Idris…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

采购订单模板

6篇文献引用(2018–2022)
软件作者: 阿南德,阿比舍克;鲍利耶,西蒙;科恩、西里尔;索索、马蒂厄;尼古拉斯·塔巴鲁
相关软件: Coq;CertiCoq;OEuf…
主要字段: 计算机科学(68-XX)

格鲁维

2份文件引用(2010–2013)
软件作者: Apache Groovy项目
相关软件: JavaScript;马普斯;OpenStreetMap…
主要字段: 计算机科学(68-XX)

筛选结果依据…

主字段