Automated Theorem Proving: A Logical BasisLibro electrónicoAutomated Theorem Proving: A Logical BasisdeD.W. LovelandCalificación: 0 de 5 estrellas0 calificacionesGuardar Automated Theorem Proving: A Logical Basis para después