定理机器证明的图论法初探

• A Preliminary Study of Machine Theorem Proving Based on Graph Theories