菜单
关于联系人(&C)
反馈
贡献
帮助
兹马思
swMATH公司
搜索
高级搜索
浏览
搜索
软件名称
软件作者
软件说明
关键词
程序设计语言
理学硕士分类
高级搜索
清除
按名称浏览软件
按关键字浏览软件
通过MSC浏览软件
按类型浏览软件
结果1至20
24
姓名
关联
排序依据:
可口可乐
在1783篇文章中引用
[sw00161]
Coq是正式的
证明
管理制度。
它。。。
伊莎贝尔
在606篇文章中引用
[sw00454]
伊莎贝尔是个普通人
证明
助理。
它允许。。。
伊莎贝尔/霍尔
在945篇文章中引用
[SW019号文件]
伊莎贝尔是个普通人
证明
助理。
它允许。。。
叮当声
引用了60篇文章
[sw04581]
普林克是一个免费的,开源的全基因组。。。
尾端
引用456篇文章
[sw04704]
米扎尔系统是唯一实现。。。
荷兰语
第502条引用
[sw05492]
高阶逻辑是一个编程环境。。。
霍尔灯
引用288篇文章
[sw06580]
HOL-Light:概述。
霍尔灯是。。。
Nuprl公司
引用了387篇文章
[SW751号文件]
Nuprl系统是一个推理框架。。。
特维尔
在169篇文章中引用
[sw06888号]
Twelf是一种用来指定、实现。。。
Hets公司
参考58篇文章
[sw07017]
Hets-异构工具集。
赫茨是。。。
自动机
在403篇文章中引用
[sw07127]
自动机是由N.G.设计的语言。。。
OMDoc公司
引用86篇文章
[sw07138]
OMDOC:面向管理的互联网标准。。。
数量
在149篇文章中引用
[sw07543]
计算逻辑手册。
这本书是。。。
阿尔夫
引用67篇文章
[sw08603]
ALF-a的实现
证据
基于编辑器。。。
盖亚
引用4篇文章
[sw09607]
盖亚代表:几何,代数,信息学和应用。。。
乐高
引用107篇文章
[sw09685]
乐高是一个互动的
证明
开发系统(
证明
...
计算检查
在39篇文章中引用
[sw09760]
教学工具
证明
-检查。。。
MTT法
引用21篇文章
[sw09783]
MTT:Maude终端工具。
尽管很了不起。。。
苍蝇
在111篇文章中引用
[sw10277]
正式沟通
证明
:flyspeck的例子。
我们。。。
佩斯卡
在129篇文章中引用
[sw13664]
佩斯卡=
证据
顺序微积分编辑:佩斯卡是。。。
第1页,共2页
下一个