Automated Theorem Proving
关于 Automated Theorem Proving 书籍列表
-
Theorem Proving in Higher Order Logics
阅读量：0
ISBN：9783540283720
发布时间：2025-05-17 03:54:42 -
Automated Reasoning with Analytic Tableaux and Related Methods
阅读量：0
ISBN：9783540730989
发布时间：2025-05-17 03:59:29 -
Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings
阅读量：0
ISBN：9783540289319
发布时间：2025-05-17 04:04:35
更多标签
- Deductive Systems 05-17
- Mathematical Proof 05-17
- 粗糙集理论 05-17
- Multimodal Interaction 05-17
- Identity Management 05-17
1