菜单
关于联系人(&C)
反馈
贡献
帮助
兹马思
swMATH公司
搜索
高级搜索
浏览
搜索
软件名称
软件作者
软件说明
关键词
程序设计语言
理学硕士分类
高级搜索
清除
按名称浏览软件
按关键字浏览软件
通过MSC浏览软件
按类型浏览软件
结果1至12
12
姓名
关联
排序依据:
霍尔零点
参考12篇文章
[sw17594]
实现良好的解析/打印和
波拉克
-
一致性
.
包括一个解释如何辛德雷米尔纳。。。
ACL2
引用277篇文章
[sw00060]
ACL2是一种编程语言,其中。。。
可口可乐
在1783篇文章中引用
[sw00161]
Coq是一个正式的证据管理系统。
它。。。
伊莎贝尔/霍尔
在945篇文章中引用
[sw01569]
伊莎贝尔是一个普通的校对助理。
它允许。。。
米扎莫德
17条引用
[sw01973]
MizarMode——一个集成的证据辅助工具。。。
玉米
在34篇文章中引用
[sw06752]
在奈梅根,C-CoRN的建设性Coq仓库。。。
TRX公司
引用9篇文章
[sw08800]
TRX:一个经过正式验证的解析器解释器。
正在分析。。。
常春藤
引用了30篇文章
[sw10279]
艾薇:一个预处理器和校对器。。。
元数学
引用16条
[sw13309]
元数学是一种可以表达。。。
塞尔4
引用80篇文章
[sw15222]
seL4:操作系统内核的形式化验证。
完成。。。
平面
引用2篇文章
[sw19127]
一个融合套索潜在特征模型分析。。。
认证
参考11篇文章
[sw22728]
CertiCoq:一个经过验证的Coq编译器。
证书。。。
共1页第1页