Séance de cours

CS-550: Automating First-Order Logic Proofs Using Resolution