Formal Proof—The Four- Color Theorem 论文

2008引用 303
Logic, programming, and type systemsFormal Methods in VerificationComputability, Logic, AI Algorithms
Computability, Logic, AI AlgorithmsLogic, programming, and type systemsFormal Methods in Verification
相关技术:Computability, Logic, AI AlgorithmsFormal Methods in Verification
关系图谱

Formal Proof—The Four- Color Theorem · 相关技术

相关技术

Computability, Logic, AI AlgorithmsFormal Methods in Verification