Skip to content
中文版
关于我们 – 知识库
常见问题（FAQ）– 知识库
隐私声明 – 知识库
知识库
知识库
Main Menu
Home-old
Services
About
Reviews
Why Us
Contact
定理证明
人工智能
,
数学
,
计算机科学
,
软件工程
,
逻辑学
定理证明系统 (Theorem Proving System)
定理证明
,
形式化验证
,
自动推理
,
软件验证
,
逻辑
数学
,
类型理论
,
编程语言
,
计算机科学
,
软件开发
Agda (Agda)
Agda
,
依赖类型
,
函数式编程
,
定理证明
,
形式化验证
哲学
,
学术
,
数学
,
计算机科学
,
退休
罗伯特·S·博耶 (Robert S. Boyer)
定理证明
,
形式化方法
,
教授
,
罗伯特·S·博耶
,
计算机科学