Automated Theorem Proving: A Logical BasisE-bookAutomated Theorem Proving: A Logical BasisdeD.W. LovelandNota: 0 de 5 estrelas0 notasSalve Automated Theorem Proving: A Logical Basis para mais tarde