×

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

引文 按字母顺序排列

酯类

145篇文献引用(1985–2023)
软件作者： 杰拉德·贝瑞
相关软件： 卢斯特；信号；Uppaal…
主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）…

散步

30篇文献引用(1997–2022)
软件作者： Natarajan，V。；杰拉德·J·霍尔兹曼。
相关软件： 自旋蛋白；jSpin；ProB…
主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…

舒适的

14篇文献引用(1979–2015)
软件作者： 劳尔，体育。；托里吉亚尼，P.R。；护罩，M.W。
相关软件： 路径帕斯卡；LOTOS；LUSTRE…
主要字段： 计算机科学（68-XX）

第2类

7份文件引用(2016–2022)
软件作者： 塞萨尔·蒂内利，阿德里安冠军
相关软件： 卢斯特；JKind；z3…
主要字段： 计算机科学（68-XX）

莫德哈特

5份文件引用(1997–2017)
软件作者： F.贾哈尼安；A.K.Mok先生
相关软件： 埃斯特尔；Uppaal；Kronos…
主要字段： 数学逻辑与基础（03-XX）；动力系统与遍历理论（37-XX）；计算机科学（68-XX）…

JKind公司

3份文件引用(2016–2022)
软件作者： 安德鲁·盖切克
相关软件： 第2类；爱格；Boolector…
主要字段： 计算机科学（68-XX）

筛选结果依据…

全部的 前5名

相关软件

全部的 前3名

主字段