Skip to content
中文版
关于我们 – 知识库
常见问题（FAQ）– 知识库
隐私声明 – 知识库
知识库
知识库
Main Menu
Home-old
Services
About
Reviews
Why Us
Contact
形式化方法
架构
,
编程
,
计算机科学
,
设计
,
软件工程
莱特 (Wright)
ADL
,
形式化方法
,
架构描述语言
,
莱特
,
软件架构
人工智能
,
数学
,
计算机科学
,
软件工程
,
逻辑学
HOL Light (HOL 光)
HOL Light
,
形式化方法
,
证明器
,
逻辑
,
高阶逻辑
哲学
,
学术
,
数学
,
计算机科学
,
退休
罗伯特·S·博耶 (Robert S. Boyer)
定理证明
,
形式化方法
,
教授
,
罗伯特·S·博耶
,
计算机科学