ModLeanTAP模式 引用于19份文件(1998–2019) 软件作者: 贝恩哈德·贝克特;拉杰夫·戈尔 相关软件: leanTAP;Coq;MSPASS… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
MetTeL公司 16篇文献引用(2011–2021) 软件作者: 蒂什科夫斯基,德米特里;雷娜特·施密特(Renate A.Schmidt)。;穆罕默德·科达达迪 相关软件: LoTREC;KL-ONE;Gen2sat… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)