×

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

ModLeanTAP模式

19份文件引用(1998–2019)
软件作者: 贝恩哈德·贝克特;拉杰夫·戈尔
相关软件: 精益TAP;Coq;MSPASS…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

艾伦TAP

2份文件引用(2008–2021)
软件作者: Near,Joseph P。;William E.伯德。;丹尼尔·弗里德曼(Daniel P.Friedman)。
相关软件: Freshml;精益TAP;卡伦…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

戈兰

2份文件引用(2022–2023)
软件作者: 朱莉·凯勒;Johann Rosain;戴维·德拉哈耶(David Delahaye);西蒙·罗比拉德;布齐安·欣德·莉莉亚
相关软件: TPTP;睫毛;小猎犬…
主要字段: 计算机科学(68-XX)

倾斜

1份文件引用(1991)
软件作者: 奥利弗·比特尔
相关软件: ——
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

筛选结果依据…

主字段