毫米 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… 主要字段: –