06-01, Automating First-Order Logic Proofs Using Resolution

From Viktor Kuncak  

views comments