×

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

MoDeST公司

33篇文献引用(2001–2022)
软件作者: 佩德罗·R·D’Argenio。;赫尔曼斯,霍尔格;Joost-Pieter Katoen;里克·克拉伦
相关软件: 棱镜;Uppaal;高科技…
主要字段: 数学逻辑与基础(03-XX);概率论与随机过程(60-XX);计算机科学(68-XX)…

PITA公司

24篇文献引用(2010–2023)
软件作者: 法布里齐奥·里古齐(Fabrizio Riguzzi);Swift,Terrance公司
相关软件: ProbLog;CP逻辑;棱镜…
主要字段: 数学逻辑与基础(03-XX);统计学(62-XX);计算机科学(68-XX)…

CP逻辑

20篇文献引用(2009–2023)
软件作者: Joost Vennekens;马克·德内克(Marc Denecker);莫里斯·布吕诺格
相关软件: ProbLog;PITA;棱镜…
主要字段: 数学逻辑与基础(03-XX);概率论与随机过程(60-XX);计算机科学(68-XX)

MEBN公司

11份文件引用(2008–2018)
软件作者: 凯瑟琳·布莱克蒙·拉斯基
相关软件: 博客;PR-OWL;IBAL…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);统计学(62-XX)…

崔弟

14篇文献引用(2016–2023)
软件作者: 蒂姆,M。
相关软件: 二精氨酸;LARS;Clingo…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…

图灵

6篇文献引用(2022)
软件作者: 洪戈、凯旭、邹斌·加拉马尼
相关软件: 朱莉娅;斯坦;Pyro…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…

迷你凯恩人

9份文件引用(2008–2022)
软件作者: Daniel P.Friedman、William E.Byrd、Oleg Kiselyov
相关软件: 卡恩;自动化;汞…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)

家禽

9份文件引用(2014–2021)
软件作者: 隆美尔·N·卡瓦略。;凯瑟琳·拉斯基。;保罗·科斯塔。
相关软件: IBAL;贝叶斯OWL;博客…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);统计学(62-XX)…

MCINTYRE公司

7份文件引用(2015–2019)
软件作者: F.里古齐。
相关软件: ProbLog;PITA;CP逻辑…
主要字段: 计算机科学(68-XX)

cplint(cplint)

7份文件引用(2017–2022)
软件作者: 法布里齐奥·里古齐(Fabrizio Riguzzi);朱塞佩,科塔;埃琳娜·贝洛迪;里卡多·泽斯
相关软件: ProbLog;SWI-预测;棱镜…
主要字段: 计算机科学(68-XX)

临时技术秘书处

5份文件引用(2012–2021)
软件作者:
相关软件: 伊莎贝尔;拍打;Coq…
主要字段: 计算机科学(68-XX)

梅林

5份文件引用(2013–2017)
软件作者: Livshits VB、Nori AV、Rajamani SK、Banerjee A
相关软件: 萨纳尔;JavaScript;TAJ…
主要字段: 计算机科学(68-XX)

风景优美

5份文件引用(2021–2023)
软件作者: 丹尼尔·弗里蒙特(Daniel J.Fremont)。;爱德华·金;托马索·德罗西;Ghosh,Shromona;岳向玉;Sangiovanni-Vincentelli,Alberto L。;Sanjit A.Seshia。
相关软件: 验证;CARLA公司;LGSVL…
主要字段: 数学逻辑与基础(03-XX);常微分方程(34-XX);数值分析(65-XX)…

PFLP公司

3份文件引用(2020–2022)
软件作者: 桑德拉·戴卢斯(Sandra Dylus)、扬·克里斯蒂安森(Jan Christiansen)、芬兰·蒂根(Finn Teegen)
相关软件: 教会;EasyCheck;瑞士…
主要字段: 计算机科学(68-XX)

K加热器

3份文件引用(2012)
软件作者: 马克·芬塔默(Marc Finthammer);马蒂亚斯·蒂姆
相关软件: 炼金术;ProbLog(问题日志)
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

QTAG公司

1份文件引用(2005)
软件作者: 丹·图菲斯(Dan Tufis),奥利弗·梅森(Oliver Mason)
相关软件: 生物2RDF;生物门户;BioMOBY…
主要字段: 计算机科学(68-XX)

风暴

引用于2份文件(2020–2021)
软件作者: 赛卡特·杜塔;张文仙;黄子欣;萨萨·米塞洛维奇
相关软件: 英国圣公会;高温;坚果…
主要字段: 计算机科学(68-XX)

逻辑QL

引用于2份文件(2016–2017)
软件作者: Terry Halpin,Spencer Rugaber公司
相关软件: 数据日志;DeepDive;风险投资…
主要字段: 计算机科学(68-XX)

迷你黄铜

1份文件引用(2018)
软件作者: 亚历山大·希恩多夫(Alexander Schiendorfer);亚历山大·纳普(Alexander Knapp);Gerrit Anders;沃尔夫冈·雷夫
相关软件: 微量锌;JuMP;古罗比…
主要字段: 运筹学,数学编程(90-XX)

拟Borel空间

引用于2份文件(2017–2022)
软件作者: Michikazu Hirata、Yasuhiko Minamide、Tetsuya Sato
相关软件: 教会;HOL;精益…
主要字段: 范畴理论;同调代数(18-XX);概率论与随机过程(60-XX);计算机科学(68-XX)

TerpreT公司

在0个文档中引用
软件作者: 亚历山大·冈特(Alexander L.Gaunt)、马克·布洛克施密特(Marc Brockschmidt
相关软件: Scikit;Clojush;按下…
主要字段:

爱德华二世

在0个文档中引用
软件作者: 戴夫·摩尔,玛丽亚·戈里诺娃
相关软件: UCI-ml;派斯坦;XLA…
主要字段:

材料LM

在0个文档中引用
软件作者: 王燕山、刘洪芳
相关软件: 马文;la4j;JGibbLDA…
主要字段:

数据库数据库

1份文件引用(2020)
软件作者: 西尔万·卡利农
相关软件:
主要字段: 统计学(62-XX)

ProBO公司

在0个文档中引用
软件作者: Willie Neiswanger、Kirthevasan Kandasamy、Barnabas Poczos、Jeff Schneider、Eric Xing
相关软件: 超波段;DARTS;GPyOpt…
主要字段: 计算机科学(68-XX)

PyAutoFit(打印自动调整)

在0个文档中引用
软件作者: 詹姆斯。W.南丁格尔、理查德·海斯、马修·格里菲斯
相关软件: 朱庇特;蟒蛇;PyAutoLens…
主要字段:

斯威夫特

在0个文档中引用
软件作者: Yi Wu、Lei Li、Stuart Russell、Rastislav Bodik
相关软件: 漏洞;风险投资;教堂…
主要字段:

雅普

在0个文档中引用
软件作者: 纪尧姆·鲍达特(Guillaume Baudart)、马丁·赫泽尔(Martin Hirzel)、基兰·凯特(Kiran Kate)、路易斯·曼德尔(Louis Mandel)、阿夫拉哈姆·辛纳(Avraham Shinnar)
相关软件: 迈亚;PyCmdStan;PyStan…
主要字段:

SimEnv公司

在0个文档中引用
软件作者: 迈克尔·弗莱希;Uwe Böhm;托马斯·诺克;克劳斯·瑞奇莫
相关软件:
主要字段:

筛选结果依据…

全部的 前5名

相关软件