×

找到30个软件包(结果1-30)

SETHEO公司

118篇文献引用(1990–2022)
软件作者: Letz,R。;舒曼,J。;拜耳,S。;比贝尔,W。
相关软件: TPTP;水獭;SPASS…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);数值分析(65-XX)…

阿斯毫升

引用于45份文件(2001–2023)
软件作者: 微软研究院;格里斯坎普,W。;古雷维奇·Y。
相关软件: 毫升;SpecExplorer;科拉特…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…

威特拉2

18篇文献引用(2006–2019)
软件作者: 达尼尔·瓦罗;安德拉斯·巴洛格
相关软件: 进度;AGG;图形转换基准…
主要字段: 计算机科学(68-XX)

PLT兑换

25篇文献引用(2009–2022)
软件作者: 费莱森,马提亚斯;布鲁斯·芬德勒;马修·弗拉特
相关软件: Coq;K校准仪;哈斯克尔…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)

核心ASM

13份文件引用(2007–2021)
软件作者: Farahbod,Roozbeh;文森佐·格瓦西;乌韦·格拉塞尔(Glässer,Uwe);妈妈,乔治
相关软件: 法尔科;罗丹;GitHub…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

SMV公司

13份文件引用(1986–2018)
软件作者: Ed Clarke;K.L.McMillan;E.A.艾默生;J.R.伯奇
相关软件: 高科技;PHAVer;旋转…
主要字段: 常微分方程(34-XX);变异微积分和最优控制;优化(49-XX);计算机科学(68-XX)…

MPINE公司

7份文件引用(2001–2015)
软件作者: 豪尔赫·索萨·平托
相关软件: PELCR;PORGY公司;哈斯克尔…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

XASM公司

6篇文献引用(2000–2021)
软件作者: 马蒂亚斯·安劳夫
相关软件: AsmL;K校准仪;模拟67…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

阿尔法

6篇文献引用(1999–2005)
软件作者: D.K.王尔德。
相关软件: MMAlpha;PolyLib;OPERA…
主要字段: 计算机科学(68-XX)

ASMKeY公司

6篇文献引用(2004–2012)
软件作者: 南城,斯坦尼斯拉斯;Robert F.Stärk。
相关软件: 凯伊;ANTLR;Why3…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

ASM工作台

5份文件引用(2000–2012)
软件作者: 朱塞佩·德尔·卡斯蒂略
相关软件: 自旋蛋白;核心ASM;凹槽…
主要字段: 计算机科学(68-XX)

AsmetaSMV公司

引用于2份文件(2016年至2021年)
软件作者: Arcaini,P.、Gargantini,A.、Riccobene,E。
相关软件: 昏迷;NuSMV;ASMETA…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

昏迷

引用于2份文件(2016年至2021年)
软件作者: P Arcaini、A Gargantini、E Riccobene
相关软件: AsmetaSMV;NuSMV;ASMETA…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

加纳

4份文件引用(2001–2002)
软件作者: 斯蒂芬·迪尔;哥尔格,卡斯滕;安德烈亚斯·凯伦(Andreas Kerren);莱因哈德·威廉
相关软件: 探戈;内华达州;GaniFA…
主要字段: 组合数学(05-XX);计算机科学(68-XX)

MedEthEx公司

引用于2份文件(2019–2020)
软件作者: 安德森,S。;安德森,M。;阿曼,Ch。
相关软件:
主要字段: 计算机科学(68-XX)

千年发展目标

引用于2份文件(2009–2013)
软件作者: 周Z,Boulerice N
相关软件: HOL;毫升;Why3…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

羚羊

引用于2份文件(1991)
软件作者: 詹姆斯·莫里斯。;马克·霍华德
相关软件: 卡利班;克里奥;米兰达
主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)

ASMETA公司

引用于2份文件(2011–2021)
软件作者: 加甘蒂、帕卡尼、普斯卡杜拉、斯堪的纳维亚、西尔维亚邦凡提
相关软件: AsmetaSMV;昏迷;NuSMV…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

卡利班

引用于2份文件(1991)
软件作者: 詹姆斯·莫里斯。;马克·霍华德
相关软件: 阿里埃尔;克里奥;米兰达
主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)

克里奥

引用于2份文件(1991)
软件作者: 詹姆斯·莫里斯。;马克·霍华德
相关软件: 卡利班;阿里埃尔;米兰达
主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)

JSXM公司

1份文件引用(2016)
软件作者: 迪米特里斯·德拉尼迪斯、康斯坦蒂诺斯·布拉塔尼斯、弗洛伦丁·伊帕特
相关软件:
主要字段: 计算机科学(68-XX)

LOEWE公司

引用于2份文件(2008–2019)
软件作者:
相关软件: 凯撒;CADP;LoLA…
主要字段: 计算机科学(68-XX)

McScM公司

1份文件引用(2023)
软件作者: Heußner,亚历山大;特里斯坦勒加尔;格雷戈伊尔·萨特雷
相关软件: TaPAS;CADP;旋转…
主要字段: 计算机科学(68-XX)

SMI公司++

引用于2份文件(2001–2013)
软件作者: Franek,B.和Gaspar,C。
相关软件: mCRL2;拍打;JITty…
主要字段: 计算机科学(68-XX)

乳酪

1份文件引用(2020)
软件作者: Nakano,M.、Ogata,K.、Nakamura,M.和Futatsugi,K。
相关软件: OBJ咖啡馆;SPASS;CiMPG…
主要字段: 计算机科学(68-XX)

印度

1份文件引用(1989)
软件作者: 阿尔比努斯,M。;艾斯曼,W。
相关软件: Modula公司
主要字段: 计算机科学(68-XX)

元模型Isabelle

1份文件引用(2016)
软件作者: Tuong神父;伯克哈特·沃尔夫
相关软件: Coq;Isabelle/HOL;密度编译器…
主要字段: 范畴理论;同调代数(18-XX);计算机科学(68-XX)

MPL1700标准

1份文件引用(1977)
软件作者: 理查德·费希尔(Richard N.Fisher)。;戈登·麦夸里(Gordon W.McQuarrie)。;巴勒斯
相关软件: IBM BAL
主要字段: 计算机科学(68-XX)

Vcsn公司

1份文件引用(2016)
软件作者: https://www.lrde.epita.fr/wiki/Vcsn/People(网址:https://www)
相关软件: 金融服务管理局;ASTL;SFST…
主要字段: 计算机科学(68-XX)

PAEAN公司

在0个文档中引用
软件作者: Jost Berthold;Loidl,Hans-Wolfgang;凯文·哈蒙德
相关软件:
主要字段:

筛选结果依据…