软件搜索-zbMATH Open

×

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

引文按字母顺序

ATBR公司

1份文件引用(2010)

软件作者：	Braibant，T.，Pous，D。
相关软件：	CoLoR；RALL；伊莎贝尔/伊萨尔…
主要字段：	计算机科学（68-XX）

有效SDP

1份文件引用(2023)

软件作者：	Erik Martin-Dorel；皮埃尔·鲁克斯
相关软件：	Coq区间；mctoolbox；杆…
主要字段：	计算机科学（68-XX）

筛选结果依据…

全部的前5名

相关软件

Coq公司（2）
伊莎贝尔/伊萨尔（1）
PVS公司（1）
mctoolbox软件（1）
弗洛克（1）
RALL公司（1）
CoLoR公司（1）
Coq间隔（1）
ATBR公司（1）
RODES公司（1）
有效SDP（1）

主字段

68倍（2）

© 2024FIZ卡尔斯鲁厄股份有限公司隐私政策法律声明条款和条件