×

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

引文 按字母顺序

TLA公司

29篇文献引用(1992–2023)
软件作者： L.兰波特
相关软件： 自旋蛋白；z3；加号…
主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…

薄层色谱法

15篇文献引用(2000–2023)
软件作者： Lamport L、Yu Y
相关软件： 自旋蛋白；TLAPS；常春藤…
主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）…

ACTLW公司

6篇文献引用(2008–2016)
软件作者： ——
相关软件： 自旋蛋白；奶牛；mCRL…
主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）

Java日志

3份文件引用(2002–2007)
软件作者： 阿曼迪，安娜拉；马塞洛·坎波；亚历杭德罗·祖尼诺
相关软件： 高尔夫；奥兹；METATEM…
主要字段： 计算机科学（68-XX）

MoMo公司

4份文件引用(2005–2014)
软件作者： 德尼古拉（De Nicola）、罗科（Rocco）；米歇尔·洛雷蒂
相关软件： 科莱姆；SLMC；COPASI…
主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）

PLIF公司

1份文件引用(2022)
软件作者： 蒂马科夫，A。
相关软件： github；塞林克；JSLINQ…
主要字段： 计算机科学（68-XX）

筛选结果依据…

全部的 前5名

相关软件

全部的 前3名

主字段