×

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

MPTP 0.2

55份文件引用(2006–2021)
软件作者: 约瑟夫·乌尔班
相关软件: 米扎尔;VAMPIRE公司;E定理证明器…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

TXL(热膨胀)

13份文件引用(2005–2022)
软件作者: 詹姆斯·科迪。
相关软件: Stratego;ASF+SDF;JastAdd…
主要字段: 计算机科学(68-XX)

eXist公司

7份文件引用(2003–2017)
软件作者: 沃尔夫冈·迈尔
相关软件: XPath;XQuery;Globus工具包…
主要字段: 计算机科学(68-XX);量子理论(81-XX);生物学和其他自然科学(92-XX)

XMLTK(XMLTK)

7份文件引用(2003–2011)
软件作者: Avila Campillo I、Green TJ、Gupta A、Onizuka M、Raven D、Suciu D
相关软件: XPath;无DoSE;石灰…
主要字段: 计算机科学(68-XX)

5份文件引用(2010–2020)
软件作者: 凯瑟琳·费舍尔(Kathleen Fisher);罗伯特·格鲁伯
相关软件: 牦牛;OCaml;亚砷酸盐…
主要字段: 计算机科学(68-XX)

数学的计算机工具

3份文件引用(2018–2020)
软件作者: 安德烈·格雷纳-佩特;莫里茨·舒博茨(Moritz Schubotz);霍华德·S·科尔。;吉普,贝拉
相关软件: 乳胶;dh段;Mathoid…
主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX)

NFB标签

1份文件引用(2021)
软件作者: 斯梅塔宁、N.、Volkova、K.、Zabodaev、S.、Lebedev、M.、Ossadtchi、A
相关软件: 传奇;MNE;头脑风暴…
主要字段: 生物学和其他自然科学(92-XX)

SCRIBO公司

在0个文档中引用
软件作者: Lazzara,G.,Levillain,R.,Geraud,T.,Jacquelet,Y.,Marquegnies,J.,Crepin-Leblond,A
相关软件: AGORA;LAREX公司
主要字段:

SSAX公司

1份文件引用(2005)
软件作者: SourceForge公司
相关软件: 毕格鲁;pregexp;XPath…
主要字段: 计算机科学(68-XX)

htm整齐

在0个文档中引用
软件作者: Bob Rudis、Dave Raggett、Charles Reitzel、Björn Höhrmann、Kenton Russell、Vadim Kiryukhin、Ivan Sagalaev、Julian Gruber
相关软件:
主要字段:

筛选结果依据…

全部的 前3名

主字段