×

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

效率

30篇文献引用(2013–2023)
软件作者: 安德烈·鲍尔(Andrej Bauer);普雷特纳,马蒂亚
相关软件: 科卡;github;ML…
主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)

塞尔夫

4份文件引用(2008–2023)
软件作者: 安德斯·沙克·奈尔森(Anders Schack-Nielsen);卡斯滕·舒尔曼
相关软件: 洛利;混合的;PLT兑换…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

备忘录

1份文件引用(2018)
软件作者: Simon Wimmer、Shuwei Hu、Tobias Nipkow
相关软件: 验证此;Isabelle/HOL;Coq公司
主要字段: 计算机科学(68-XX);运筹学,数学编程(90-XX)

变压器语义

1份文件引用(2022)
软件作者: 乔治·斯特鲁斯
相关软件: 贝勒红;存档正式证据;Quantales…
主要字段: 计算机科学(68-XX)

筛选结果依据…