×

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

引文 按字母顺序

biXid公司

7份文件引用(2006–2018)
软件作者： 川中、新亚；细野县细野
相关软件： XSugar；XDouce；岩盐…
主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）

树自动机

3份文件引用(2012–2019)
软件作者： 彼得·兰米奇
相关软件： 存档正式证据；Isabelle/HOL；轻型集装箱…
主要字段： 计算机科学（68-XX）

致命的

2份文件引用(2010–2012)
软件作者： Claves，P.、Jansen，D.、Holtrup，S.J.、Mohr，M.、Reis，A.、Schatz，M.和Thesing，I。
相关软件： 廷巴克；MONA；MTBDD…
主要字段： 计算机科学（68-XX）

牦牛牦牛

2份文件引用(2000–2009)
软件作者： 克拉伦德，尼尔斯；Niels Damgaard；迈克尔·施瓦茨巴赫。
相关软件： YACC；野牛；莫纳
主要字段： 计算机科学（68-XX）

代码类型

1份文件引用(2015)
软件作者： 德米特里·特拉泰尔
相关软件： 净KAT；MONA；Isabelle/HOL…
主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）

PLSMC公司

1份文件引用(2015)
软件作者： 庞涛；段振华；刘晓芳
相关软件： CUDD；NuSMV公司
主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）

筛选结果依据…

全部的 前5名

相关软件

主字段