×

找到5个软件包（结果1-5）

引文 按字母顺序

科奎利科

22篇文献引用(2015–2024)
软件作者： 西尔维·博尔多；凯瑟琳·勒雷（Catherine Lelay）；纪尧姆·梅尔金德
相关软件： Coq；Isabelle/HOL；伊莎贝尔…
主要字段： 数学逻辑与基础（03-XX）；实函数（26-XX）；常微分方程（34-XX）…

液化石油气处理厂

6篇文献引用(1998–2016)
软件作者： Robert F.Stärk。
相关软件： AsmL；毫升；XSB…
主要字段： 计算机科学（68-XX）

机械化语义库

5份文件引用(2011–2015)
软件作者： Appel，A.W.，Dockins，R.，Hobor，A
相关软件： Coq；pthreads；布吉…
主要字段： 数学逻辑与基础（03-XX）；一般拓扑（54-XX）；计算机科学（68-XX）

阿迪门·苏莫

2份文件引用(2015–2019)
软件作者： Alvez J.、Lucio P.、Rigau G
相关软件： 知识；雅高；BabelNet…
主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）

牛津大学

1份文件引用(2009)
软件作者： 托马斯·加扎涅尔（Thomas Gazagnaire）；文森特·汉克斯
相关软件： OCaml；蜜蜂
主要字段： 计算机科学（68-XX）

筛选结果依据…

全部的 前5名

相关软件

全部的 前3名

主字段