×

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

毫米

48篇文献引用(2001–2022)
软件作者: http://mizar.org/peoples网站/
相关软件: 米扎尔;MPTP 0.2;MoMM…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);有序,格,有序代数结构(06-XX)…

AnaCon公司

引用于2份文件(2013–2017)
软件作者: 克拉西米尔·安吉洛夫(Krasimir Angelov);约翰·卡米莱里(John J.Camilleri)。;杰拉尔多·施奈德
相关软件: 宗派;法律规则ML;Uppaal…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

LexNLP公司

在0个文档中引用
软件作者: Michael J Bommarito II、Daniel Martin Katz、Eric M Detterman
相关软件: Django;大熊猫;Docker…
主要字段:

筛选结果依据…