×

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

斯莫德尔斯

231篇文献引用(1999–2022)
软件作者: 伊尔卡·尼梅尔;西蒙斯,P;托米·西尔贾宁
相关软件: 亚萨特;C模型;XSB…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)…

伊萨尔

155份文件引用(2000–2024)
软件作者: 马卡里乌斯·温泽尔
相关软件: 伊莎贝尔;伊莎贝尔·霍尔;密码…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);组合数学(05-XX)…

勒图尔

引用于40篇文献(1988–2022)
软件作者: 米努克斯,M。
相关软件: HgMUS公司;数据日志;JBool…
主要字段: 数学逻辑与基础(03-XX);阶、格、有序代数结构(06-XX);计算机科学(68-XX)…

2000年

36篇文献引用(2016–2023)
软件作者: 彼得·布罗克韦尔(Peter J.Brockwell)。;理查德·戴维斯(Richard A.Davis)。
相关软件: 其mr;astsa;tscount…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);计算机科学(68-XX)…

幻灯片

27篇文献引用(2013–2023)
软件作者: Iosif,R.,Rogalewicz,A.,Vojnar,T。
相关软件: HIP;推断;小脚…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

LPL软件

20篇文献引用(2000年-2023年)
软件作者: Dave Barker-Plummer、Jon Barwise、John Etchemendy;Albert Liu、Michael Murray、Emma Pease
相关软件: EPGY;减少;OTTER…
主要字段: 数学逻辑与基础(03-XX);统计学(62-XX);数值分析(65-XX)…

TABLEAUX公司

20篇文献引用(1991–2022)
软件作者: 洛朗·卡塔赫
相关软件: 佩斯卡;月球;LoTREC…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

三倍的

16篇文献引用(2002年至2015年)
软件作者: Michael Sintek;斯特凡·戴克
相关软件: SPARQL;烟雾;XSB…
主要字段: 计算机科学(68-XX);粒子和系统力学(70-XX);天文学和天体物理学(85-XX)…

semprop公司

17篇文献引用(2002–2022)
软件作者: 莱茨,莱因霍尔德
相关软件: Quaffle;布洛克;QUBOS…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

斯巴达克斯

14篇文献引用(2010–2021)
软件作者: 丹尼尔·戈兹曼(Daniel Götzmann);马克·卡明斯基;格特·斯莫尔卡
相关软件: HTab;FaCT++;InKreSAT…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

EAGLE公司

10篇文献引用(2015–2021)
软件作者: 亚历克西斯·图米;朱利安·古铁雷斯(Julian Gutierrez);迈克尔·伍尔德里奇
相关软件: 棱镜;PRISM-名称;MCMAS…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

HOList公司

10篇文献引用(2020–2023)
软件作者: 克什蒂吉·班萨尔、莎拉·卢斯、马库斯·拉贝、克里斯蒂安·塞格迪、斯图尔特·威尔科克斯
相关软件: 谜;E定理证明器;FEMaLeCoP…
主要字段: 群论和概括(20-XX);数值分析(65-XX);计算机科学(68-XX)

j承包商

引用于9份文件(2002–2012)
软件作者: 卡拉曼,穆拉特;帕克·阿伯克龙比
相关软件: JML;埃菲尔;规范#…
主要字段: 计算机科学(68-XX)

ARENA公司

引用于9份文件(2002–2018)
软件作者: 罗克韦尔自动化公司
相关软件: Matlab;SPSS软件;DFBOX_IMPR…
主要字段: 总体主题;藏品(00-XX);概率论与随机过程(60-XX);统计学(62-XX)…

MOCUS公司

8份文件引用(1977–2020)
软件作者: J.B.Fussell、E.B.Henry、N.H.Marshall
相关软件: FATRAM;准备/套件;ELRAFT…
主要字段: 组合数学(05-XX);概率论与随机过程(60-XX);统计学(62-XX)…

马特朗

8份文件引用(2018–2022)
软件作者: 弗洛里斯·吉尔茨
相关软件: LaraDB;APL;xarray…
主要字段: 组合数学(05-XX);线性代数和多线性代数;矩阵理论(15-XX);结合环与代数(16-XX)…

模糊夹

6篇文献引用(1995年至2012年)
软件作者: B.果园
相关软件: 汇总SQL;FLISP公司;Xfuzzy…
主要字段: 数学逻辑与基础(03-XX);统计学(62-XX);计算机科学(68-XX)…

磅/吨

5份文件引用(2009–2015)
软件作者: H.Tauriainen;K.赫尔扬科
相关软件: LTL2BA;SPOT;旋转…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

MGTP公司

6篇文献引用(1995–2013)
软件作者: 长谷川龙子;藤田,广岛;宫崎骏小村;Shirai、Yasuyuki
相关软件: 萨奇莫;TPTP;MiniSat…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

奥尔加农

6篇文献引用(2007-2010年)
软件作者: 皮尔森的西波西米亚大学、俄斯特拉瓦的技术大学、布尔诺的Masaryk大学和奥洛穆克的Palacky大学的联合项目
相关软件: ——
主要字段: 历史与传记(01-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…

阿尔法

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

MSVL公司

6篇文献引用(2019–2020)
软件作者: 王晓兵、丛田、段振华、梁昭
相关软件: 自旋蛋白;CPA检查员;CESAR…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)

DeReS公司

3份文件引用(2019–2022)
软件作者: Cholewinski,P.、Marek,V.、Truszczynski,M。
相关软件: 数据日志;中国科学院科学院;Clingo…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)

打火机-R

5份文件引用(2021–2023)
软件作者: Dasu,V.A.、Baksi,A.、Sarkar,S.、Chattopadhyay,A。
相关软件: 项目Q;SM4;Keccak…
主要字段: 量子理论(81-XX);信息与通信理论,电路(94-XX)

FAME公司

4份文件引用(2018–2022)
软件作者: 赵仪征;雷娜特·施密特(Renate A.Schmidt)。
相关软件: ELK;蛋白质-TS;Evonne…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

RDL公司

4份文件引用(2001–2005)
软件作者: 亚历山德罗·阿曼多;卢卡·孔帕尼亚(Luca Compagna);西尔维奥·兰伊斯
相关软件: NQTHM;ACL2;剑桥LCF…
主要字段: 计算机科学(68-XX)

核心之星

3份文件引用(2016–2017)
软件作者: M Botinan、D Distefano、M Dodds等人。
相关软件: VeriFast;小脚;自行车手…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

达塔克

3份文件引用(1998–2010)
软件作者: 劳伦·维格纳龙
相关软件: RSBR_;ElemStatLearn;里奥纳…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

法塔姆

3份文件引用(1978–2020)
软件作者: 拉斯穆森,D.M。;新罕布什尔州马歇尔。
相关软件: MOCUS公司;精灵;准备/套件…
主要字段: 统计学(62-XX);运筹学、数学规划(90-XX);信息与通信理论,电路(94-XX)

FMona公司

3份文件引用(2000–2021)
软件作者: Bodeveix,J.-P。;M·菲拉利。
相关软件: MONA;反链;HIP…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

希律王

3份文件引用(2007–2020)
软件作者: Marta Cialdea Mayer、Serenella Cerrito
相关软件: 彼拉多;斯巴达克斯;HTab…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

联合能力保障计划

1份文件引用(2002)
软件作者: 韦尔奇,P.H。;奥尔德斯,J.R。;J.福斯特。
相关软件: 马戏团;Z;韩国石油公司
主要字段: 计算机科学(68-XX)

基马

3份文件引用(2002年-2010年)
软件作者: 上田康弘Ajiro
相关软件: GHC;巴贝尔;ELAN…
主要字段: 计算机科学(68-XX)

睫毛

3份文件引用(2022–2023)
软件作者: 布朗,乍得·E。;塞萨里·卡利西克
相关软件: 大锤;TPTP;VAMPIRE…
主要字段: 计算机科学(68-XX)

LWB公司

3份文件引用(1996–2009)
软件作者: 拉杰夫·戈尔;沃尔夫冈·海恩勒;阿兰·豪尔丁
相关软件: MiniSat;VAMPIRE公司;MSPASS…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

彼拉多

3份文件引用(2007–2020)
软件作者: Marta Cialdea Mayer、Serenella Cerrito
相关软件: 希律王;斯巴达克斯;HTab…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

ELRAFT公司

2份文件引用(1978–1994)
软件作者: S.N.塞曼德斯
相关软件: FATRAM;准备/套件;MOCUS…
主要字段: 统计学(62-XX);运筹学、数学规划(90-XX);信息与通信理论,电路(94-XX)

角质层-4

2份文件引用(2004–2012)
软件作者: Shimobaba,T。;Hishinuma,S。;伊藤,T。
相关软件: 拜勒-1
主要字段: 数值分析(65-XX);光学、电磁理论(78-XX);运筹学,数学规划(90-XX)…

Logisim公司

1份文件引用(2012)
软件作者: 甚至,盖伊;麦地那,莫蒂
相关软件: ——
主要字段: 信息与通信理论,电路(94-XX)

LPaaS公司

1份文件引用(2018)
软件作者: 罗伯塔·卡莱加里;Enrico Denti;玛丽亚尼,斯特凡诺;安德烈亚·奥米西尼
相关软件: TuCSoN;SWI-预测;XSB…
主要字段: 计算机科学(68-XX)

PyRes公司

2份文件引用(2020)
软件作者: 斯蒂芬·舒尔茨(Stephan Schulz);亚当·皮斯
相关软件: VAMPIRE公司;iProver;E定理证明器…
主要字段: 计算机科学(68-XX)

基本-真实

1份文件引用(1997)
软件作者: Nepomnyashchij,副总裁。;新墨西哥州希洛夫。;博丁,E.V。
相关软件: ——
主要字段: 计算机科学(68-XX)

BinSim公司

1份文件引用(2019)
软件作者: Ming,J.,Xu,D.,Jiang,Y.,Wu,D。
相关软件: 戴坦;DynOpVm;VOT4CS…
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

德摩尼克

1份文件引用(2015年)
软件作者: 萨姆森·艾布拉姆斯基;多米尼克·霍斯曼
相关软件: ——
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);经典热力学,传热(80-XX)…

DysToPic公司

1份文件引用(2015年)
软件作者: 劳拉·佐丹奴;瓦伦蒂娜·格里奥齐;尼古拉·奥利维蒂;吉安·卢卡(Gian Luca);卢卡·维奥兰蒂
相关软件: PreDeLo;精益TAP
主要字段: 计算机科学(68-XX)

FIPS公司

1份文件引用(1996)
软件作者: 齐格弗里德·戈特瓦尔德(Siegfried Gottwald);曼弗雷德·洛克
相关软件: ——
主要字段: 系统论;控制(93-XX);信息与通信理论,电路(94-XX)

msp430倍

1份文件引用(2019)
软件作者: Seo,Hwajeong;安,京王;权贤东;胡,志
相关软件: ——
主要字段: 信息与通信理论,电路(94-XX)

NEVESIM公司

1份文件引用(2020)
软件作者: Dejan Pecevski、David Kappel、Zeno Jonke
相关软件: 神经元;github;倒谱
主要字段: 生物学和其他自然科学(92-XX)

红色pl.pl

1份文件引用(1998)
软件作者: 塔博尔·阿尔斯万尼
相关软件: SICStus公司
主要字段: 计算机科学(68-XX)

REFLP公司

1份文件引用(1997)
软件作者: 罗伯特·科尔文;伊恩·海耶斯(Ian Hayes);雷·尼克森(Ray Nickson);保罗·斯特罗珀
相关软件: Ergo 6号机组
主要字段: 计算机科学(68-XX)

罗穆卢斯

在0个文档中引用
软件作者: 祖贝达·卡斯莫德·汗;C.玛丽亚·基特
相关软件: ——
主要字段: ——

SENSE(感知)

1份文件引用(2019)
软件作者: M.Khaled、M.Rungger、M.Zamani
相关软件: BDD2机具;p面;ROCS…
主要字段: 计算机科学(68-XX);系统论;控制(93-XX)

SUTRA公司

1份文件引用(1990)
软件作者: 德肖维茨,纳丘姆;密特拉,Subrata;西瓦库马尔,G。
相关软件: ——
主要字段: 计算机科学(68-XX)

筛选结果依据…