Skip to content
中文版
关于我们 – 知识库
常见问题（FAQ）– 知识库
隐私声明 – 知识库
知识库
知识库
Main Menu
Home-old
Services
About
Reviews
Why Us
Contact
自动定理证明
人物传记
,
数学
,
美国学者
,
计算机科学
,
逻辑学
彼得·B·安德鲁斯 (Peter B. Andrews)
彼得·B·安德鲁斯
,
数理逻辑
,
自动定理证明
,
计算机科学
,
逻辑学
人工智能
,
算法
,
自动推理
,
计算机科学
,
逻辑学
模型消除 (Model Elimination)
模型消除
,
知识表示
,
算法
,
自动定理证明
,
逻辑编程
人工智能
,
数学
,
计算机科学
,
软件工程
,
逻辑学
自动定理证明 (Automated theorem proving)
ATP
,
自动定理证明
,
自动推理
,
证明
,
逻辑