×

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

概念网

19份文件引用(2007–2023)
软件作者: Liu H,Singh P;Havasi,C.、Speer,R.、Alonso,J。
相关软件: WordNet;BERT;雅高…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…

LARS公司

23篇文献引用(2016–2022)
软件作者: Beck,H.、Dao-Tran,M.、Eiter,T.、Fink,M。
相关软件: 克林戈;o克林戈;SPARQL…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)

SCEL公司

17篇文献引用(2014年-2023年)
软件作者: 洛科·德·尼古拉(Rocco De Nicola)、迭戈·拉特拉(Diego Latella)。阿尔贝托·卢奇·拉富恩特、米歇尔·洛雷蒂、安德烈亚·马格里、梅克·马森克、安德烈娅·莫里切塔、罗萨里奥·普格利泽、弗朗西斯科·蒂齐、安德烈·范丁
相关软件: 科莱姆;莫德;PALOMA…
主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…

雅加达

17篇文献引用(2001–2014)
软件作者: Daniela Junho de Andrade、Simão Melo de Sousa
相关软件: Coq;OCaml;LETOS…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);地球物理学(86-XX)…

我*

11份文件引用(2001–2004)
软件作者: 多伦多大学
相关软件: 安全UML;坦比斯;UEML…
主要字段: 计算机科学(68-XX)

生物战

7份文件引用(2009–2022)
软件作者: K.M.Carley,D.B.Fridsma;E.卡斯曼;A.Yahja;N.奥尔特曼;陈丽秋;B.卡明斯基;D.中堂
相关软件: FRED;MultiVeStA;皮尔洛…
主要字段: 变异微积分和最优控制;优化(49-XX);统计学(62-XX);运筹学,数学规划(90-XX)…

GrInvIn公司

9份文件引用(2007–2023)
软件作者: 阿德里安·皮特斯;克里斯·库萨特(Kris Coolsaet);冈纳·布林克曼;范·克莱恩普特(Van Cleemput),尼古拉斯(Nicolas);Veerle法克
相关软件: 鹦鹉螺;GraPHedron;图形之家…
主要字段: 组合数学(05-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

RealPlan(实际计划)

9份文件引用(2001–2008)
软件作者: 斯利瓦斯塔瓦,比普拉夫;Subbarao Kombhampati;做,明B。
相关软件: 图形平面图;STAN;CPlan…
主要字段: 计算机科学(68-XX);运筹学,数学编程(90-XX)

ASPIER公司

6篇文献引用(2011–2023)
软件作者: Chaki,S;达塔,A。
相关软件: ProVerify;NAXOS;EasyCrypt…
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

LIPSAT公司

6篇文献引用(2018–2021)
软件作者: 马塞洛·芬格;桑德罗·普雷托
相关软件: MiniSat;玲玲;Yices…
主要字段: 数学逻辑与基础(03-XX);阶、格、有序代数结构(06-XX);测量和集成(28-XX)…

MBT公司

5份文件引用(1999–2005)
软件作者: Daelemans,W.,Zavrel,J.,Berck,P.,Gillis,S。
相关软件: 宾夕法尼亚树银行;树标记器
主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX)

流浪汉

4份文件引用(2021–2022)
软件作者: Luigi Bellomarini、Georg Gottlob、Emanuel Sallinger
相关软件: 数据日志;RDFox;LUBM…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

框架网

5份文件引用(2004–2010)
软件作者: 彼得·鲍姆加特纳(Peter Baumgartner);阿尔乔什,伯恰特
相关软件:
主要字段: 计算机科学(68-XX)

地理SPARQL

3份文件引用(2015–2016)
软件作者: R.Battle、D.Kolas
相关软件: PelletSpatial;PostgreSQL;OrbisGIS…
主要字段: 计算机科学(68-XX)

IMLI公司

3份文件引用(2021–2022)
软件作者: Bishwamittra Ghosh,Kuldeep S.Meel
相关软件: MLIC;UCI-ml;形状…
主要字段: 统计学(62-XX);计算机科学(68-XX)

SUCRAGE公司

1份文件引用(2001)
软件作者: 博尔吉,阿梅尔;赫尔曼·阿克达
相关软件:
主要字段: 计算机科学(68-XX)

TimeML(时间ML)

3份文件引用(2014–2020)
软件作者: Ingria,B.,Pustejovsky,J。
相关软件: C4.5;威卡;LIBLINEAR…
主要字段: 统计学(62-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

DiArg公司

引用于2份文件(2022–2023)
软件作者: 蒂莫修斯·坎皮克(Timotheus Kampik),多夫·加巴伊(Dov Gabbay)
相关软件: 崔弟
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

抓取器

1份文件引用(2009)
软件作者: R.D.Viegas;F.A.阿泽夫多
相关软件: CPGraph;CaSPER;红衣主教
主要字段: 计算机科学(68-XX);生物学和其他自然科学(92-XX)

KnowLang公司

在0个文档中引用
软件作者: 埃米尔·瓦塞夫;Mike Hinchey先生
相关软件:
主要字段: 计算机科学(68-XX)

林肯

引用于2份文件(2017年至2021年)
软件作者: 艾娜·林·乔治斯(Aina Linn Georges);阿加塔·穆拉夫斯卡;奥蒂斯、肖恩;碧姬·品特卡
相关软件: github;阿格达;丁香…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

PIFuHD公司

1份文件引用(2022)
软件作者: 斋藤顺介、托马斯·西蒙、杰森·萨拉吉、韩比尔·乔
相关软件: PIFu;PyTorch;KinectFusion…
主要字段: 计算机科学(68-XX)

CTML公司

1份文件引用(2005)
软件作者: 格拉齐埃拉·托弗尼
相关软件:
主要字段: 计算机科学(68-XX)

动态体系结构

1份文件引用(2019)
软件作者: 迭戈·马姆塞勒
相关软件: 里奥;架构设计模式;FACTum…
主要字段: 计算机科学(68-XX)

强制读取器

在0个文档中引用
软件作者:
相关软件: HILDIF;QANet;欧尼…
主要字段:

ICAF公司

1份文件引用(2012)
软件作者: A.S.M.凯斯。;韩军;艾伦·科尔曼
相关软件:
主要字段: 计算机科学(68-XX)

进口2vec

在0个文档中引用
软件作者: 巴特·泰滕、弗雷德里克·范德普特、汤姆·范·库特森
相关软件: 像素x像素;CycleGAN;PyTorch…
主要字段:

InstQL软件

1份文件引用(2010)
软件作者: 卢克·霍普顿(Luke Hopton);欧文·克利夫(Owen Cliffe);滨海德沃斯;朱利安·帕吉特
相关软件: 斯莫德尔斯
主要字段: 计算机科学(68-XX)

元SMT

1份文件引用(2021)
软件作者: H.里纳。
相关软件: CVC4;SMT套件;BtorMC…
主要字段: 计算机科学(68-XX)

RCDC公司

1份文件引用(2013)
软件作者: Navarrete,I.、Morales,A.、Sciavicco,G.、Cardenas,M。
相关软件: XPath(XPath)
主要字段: 计算机科学(68-XX)

筛选结果依据…

全部的 前5名

相关软件